why-coq - Libraries for interfacing Coq with Why
| Website: | http://why.lri.fr/ |
|---|---|
| License: | LGPLv2 with exceptions |
| 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.35-18.fc24.x86_64 [51 KiB] |
Changelog
by Jerry James (2016-09-02):
- Rebuild for why3 0.87.2 |
| why-coq-2.35-17.fc24.x86_64 [51 KiB] |
Changelog
by Jerry James (2016-07-22):
- Rebuild for apron 0.9.11 and gappalib-coq 1.3.0 |
| why-coq-2.35-15.fc24.x86_64 [51 KiB] |
Changelog
by Jerry James (2016-06-01):
- Rebuild for why3 0.87.1 and Frama-C Aluminium |