Package : alt-ergo-gui
Package details
Summary: Graphical front end for alt-ergo
Description:
A graphical front end for the alt-ergo theorem prover.
Maintainer: nobody
Description:
A graphical front end for the alt-ergo theorem prover.
Maintainer: nobody
List of RPMs
No RPM found for alt-ergo-gui using the current filters, try other values.