Sophie

Sophie

distrib > Mageia > cauldron > i586 > by-pkgid > 6f8c1d95ab50b99ba3d9a5001e1da896

alt-ergo-gui-2.2.0-3.mga7.i586.rpm

Description:

A graphical front end for the alt-ergo theorem prover.

Sources packages:

Other version of this rpm: