Platforms

TwitterFacebook
Get flash to fully experience Pearltrees
As of version 5.0, we officially support theorem proving for GeoGebra. There were several preliminary planning steps until we implemented theorem proving facility. User documentation ¶

TheoremProving – GeoGebra

http://dev.geogebra.org/trac/wiki/TheoremProving