| Name : why-gwhy
| |
| Version : 2.34
| Vendor : Fedora Project
|
| Release : 20.fc22
| Date : 2015-06-23 01:40:53
|
| Group : Applications/Engineering
| Source RPM : why-2.34-20.fc22.src.rpm
|
| Size : 4.51 MB
| |
| Packager : Fedora Project
| |
| Summary : IDE for Why software verification platform
|
Description :
Gwhy is an optional graphical user interface for the Why software
coordination platform. It assists in the coordination of dispatching
assertions that need to be proven to different theorem provers by
providing an interface to do this and also supports inspection of why
input files.
|
RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/22/i386/w |
