GeoProof 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.
|Tags||Scientific/Engineering Mathematics education|
|Operating Systems||Mac OS X Windows POSIX Linux|
Release Notes: Proof related features were added, including automatic proof using Coq, interactive proof using Coq, and automatic proof using an embedded ATP.