Projects / GeoProof

GeoProof

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
Licenses
Operating Systems
Implementation

Recent releases

  •  25 Aug 2006 10:46

    Release Notes: Proof related features were added, including automatic proof using Coq, interactive proof using Coq, and automatic proof using an embedded ATP.

    Screenshot

    Project Spotlight

    OpenStack4j

    A Fluent OpenStack client API for Java.

    Screenshot

    Project Spotlight

    TurnKey TWiki Appliance

    A TWiki appliance that is easy to use and lightweight.