Daily Archives: June 18, 2012
OpenGeoProver debuting
The EACA conference has just ended, but the hard development in theorem proving did not stop. Our Serbian contributor Ivan Petrović did very nice improvements on GeoGebra by working hard on the OpenGeoProver (OGP) prototype during the last week. Now … Continue reading
Posted in Community, Development, GGB
Tagged community, conference, mathematics, proof, proving, theorem
1 Comment