Sophie

Sophie

distrib > Mandriva > 2007.0 > x86_64 > by-pkgid > ff5c9bd1f0026eba23128fd0dddb6649

drgeocaml-cvs20051014-5mdv2007.0.src.rpm

Description:

DrGeoCaml is a dynamic geometry software.
This program is an interactive geometry software similar to Cabri
Geometre,GeoPlan, Kig...
It contains automatic theorem proving features.
Interactive theorem proving is planned.

Generated packages:

Other version of this rpm: