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.ocamlpro.com/
License: CeCILL-C and LGPL
Maintainer: nobody
Description:
A graphical front end for the alt-ergo theorem prover.
URL: http://alt-ergo.ocamlpro.com/
License: CeCILL-C and LGPL
Maintainer: nobody
List of RPMs
- alt-ergo-gui-2.2.0-5.mga7.i586.rpm (Mageia 7, i586 media, core-release) Install