GeoProof svn2006-08-24

GeoProof project is a dynamic geometry application with proof related features.

  Add it to your Download Basket!

 Add it to your Watch List!

0/5

Rate it!
send us
an update
LICENSE TYPE:
GPL (GNU General Public License) 
USER RATING:
UNRATED
  0.0/5
DEVELOPED BY:
Billy
HOMEPAGE:
home.gna.org
CATEGORY:
ROOT \ Education
GeoProof project is a dynamic geometry application with proof related features.

It can communicate with the Coq proof assistant to perform automatic and interactive proofs of theorems.

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

Last updated on November 1st, 2006

feature list

#dynamic geometry #geometry application #theorems proofs #GeoProof #dynamic #geometry #theorems

Add your review!

SUBMIT