why-coq - Libraries for interfacing Coq with Why
| Website: | http://why.lri.fr/ |
|---|---|
| License: | GPLv2 |
| Vendor: | Fedora Project |
- Description:
This package contains a set of routines that assist in the manipulation of why Coq-formatted output within Coq.
Packages
| why-coq-2.17-2.fc11.i586 [312 KiB] |
Changelog
by Fedora Release Engineering (2009-02-25):
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild |