Multimedia |
Messengers |
Desktop |
Development |
Education |
Games |
Graphics |
Networking |
Security |
Servers |
Utilities |
Web Dev
GeoProof
By Julien Narboux
Rating:
0/5 (0)
0/5 (0)
License type:
Freeware
Latest version:
0.5-2006-08-24
Last updated:
October 26th, 2010
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...
The project consist in producing an interactive proof software for geometry.
GeoProof can communicate with the Coq...
