Version: 0.5beta
Size:
5.12MB
Requirements:
No special requirements
No special requirements
Price:
Free
Free
System:
Windows Vista/2003/XP/2000/98/Me/NT
Windows Vista/2003/XP/2000/98/Me/NT
Rating:
4.8
4.8
License:
Freeware
Freeware
Description - GeoProof
This program is an interactive geometry software with proof related features. The project consist in producing an interactive proof software for geometry. GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems. GeoProof is developed mainly by Julien Narboux from a project called DrGeoCaml initiated by Nicolas Fran