Sophie

Sophie

distrib > Mandriva > 2007.0 > x86_64 > media > contrib-release > by-pkgid > 1353284d6230ab5f207c6d28cc4d5e48

drgeocaml-cvs20051014-5mdv2007.0.x86_64.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.

Sources packages:

Other version of this rpm: