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.

- 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.