GeoProof is a geometry software that supports proof-related features, providing a dynamic user experience to prove mathematical concepts.
The development engineers behind the GeoProof project have invested painstaking effort in producing an exceptional software that excels in delivering interactive proof options for geometry enthusiasts. The software also has seamless communication with the Coq proof assistant, which further reinforces its ability to perform automatic and interactive proofs of geometry theorems.
GeoProof was primarily developed by Julien Narboux, with the initial aim of building a top-of-the-range interactive proof software for geometry. The project was initiated by Nicolas François, and his tacit involvement in the project contributed significantly as well. Thanks to the expertise of both developers, GeoProof has become an indispensable tool for math enthusiasts looking for a reliable geometry software.
Version svn2006-08-24: N/A