Name : alt-ergo-gui
| |
Version : 0.93
| Vendor : Fedora Project
|
Release : 1.fc16
| Date : 2011-05-13 04:34:33
|
Group : Applications/Engineering
| Source RPM : alt-ergo-0.93-1.fc16.src.rpm
|
Size : 3.76 MB
| |
Packager : Fedora Project
| |
Summary : Graphical front end for alt-ergo
|
Description :
A graphical front end for the alt-ergo theorem prover.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/16/Everything/x86_64/os/Packages |