Sophie

Sophie

distrib > Mageia > cauldron > x86_64 > by-pkgid > 5147d2e47769a5dda18e7a865477b46d

alt-ergo-gui-2.2.0-4.mga7.x86_64.rpm

Description:

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

Sources packages:

Other version of this rpm: