Package : alt-ergo-gui
Package details
Summary: Graphical front end for alt-ergo
Description:
A graphical front end for the alt-ergo theorem prover.
URL: http://alt-ergo.lri.fr
License: CeCILL-C
Maintainer: nobody
Description:
A graphical front end for the alt-ergo theorem prover.
URL: http://alt-ergo.lri.fr
License: CeCILL-C
Maintainer: nobody
List of RPMs
- alt-ergo-gui-0.94-3.mga3.i586.rpm (Mageia 3, i586 media, core-release) Install