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.armv7hl.rpm (Mageia 7, armv7hl media, core-release) Install