layout default title Software.GeoProver Home > Software GeoProver The GeoProver is a package for Geometry Theorem Proving developed for several CAS by H.-G. Gräbe. The current version 1.3 was released in March 2003. See http://www.informatik.uni-leipzig.de/~compalg/software/geoprover https://github.com/hg-graebe/GeoProver