GeoProof download

"Project for an interactive geometry software in the production of evidence occurs."
runterload.de Editor: This program is an interactive geometry software with proof related features is.
Evidence for an interactive geometry software in the production of the project occurs.
Coq proof assistant with the geometry GeoProof theorems to perform automatic and interactive proofs can communicate.

---

A project by Julien Narboux basis GeoProof initiated by François Nicolas DrGeoCaml has been developed.

---

Features <br> Detailed list of features:
-five types of geometric objects: points, lines, circles, vectors, and segments
three transformations: central symmetry, translation, and axial symmetry - to build a nine-point path
line -
five ways to create the
follow-automatic theorem can now download a free GeoProof 0.5beta can be proved as dynamic parts of a circle
To create a three-way-text labels.