- http://home.gna.org/geoproof/ - GeoProof is an InteractiveGeometry software with automated and interactive theorem proving features. [[:included in knxm:]] but [[:not in math-start:]]