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

List of RPMs