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