Prover9-Mace4 download

Prover9Mace4 and several related programs come packaged in a system called LADR

Software Informer has blocked this file as it may be harmful:

If you wish to proceed, copy the URL above and paste a link into your browser.

Scanned for viruses on Sep 17, 2023. 1 of 75 antivirus programs marked the program as suspicious. See the report.

Alternative software

Free

Calculator which uses many of the formulas found in geometry.

It is by Quality Managers, Facilitators, Trainers, and Consultants.

Free

Program for teaching and learning mathematical proofs.

Free

Text-based program that uses the formula A2 + B2 = C2.

Free

Our portable proving solution with up to 60 pre-configured meters.