GeoProof for Linux download

"Project for an interactive geometry software in the production of evidence occurs."
indir.biz 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.

---

Basis for a project by Julien Narboux Linux GeoProof Nicolas François initiated by his DrGeoCaml developed.

---

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