GeoProof - Videos

Here are some animations to see GeoProof in action :

To see these animations you need a flash enabled browser (download flash).

Basic features:

• Using GeoProof to build the points of interest of a triangle.
• Using GeoProof to build a parallelogram using only midpoints.
• Using GeoProof to draw a locus using the trace feature.
• Using the dynamic labels.

Proof related features:

• Using GeoProof to informally check a conjecture using dynamic labels.
• Using GeoProof to automatically prove the midpoint theorem using the Coq proof assistant.
• Using GeoProof to automatically prove Thales' theorem using the Coq proof assistant.
• Using GeoProof to automatically prove the parallelogram theorem using the Coq proof assistant.
• Using GeoProof to automatically prove the midpoint theorem using the embedded automatic theorem prover.