why3-all - Complete Why3 software verification platform suite
| Website: | http://why3.lri.fr/ |
|---|---|
| License: | LGPLv2 with exceptions |
| Vendor: | Fedora Project |
- Description:
This package provides a complete software verification platform suite based on Why3, including various automated and interactive provers.
Packages
| why3-all-0.87.2-1.fc24.x86_64 [12 KiB] |
Changelog
by Jerry James (2016-09-02):
- New upstream release |
| why3-all-0.87.1-2.fc24.x86_64 [12 KiB] |
Changelog
by Jerry James (2016-07-13):
- Rebuild for coq 8.5pl2 |
| why3-all-0.87.1-1.fc24.x86_64 [12 KiB] |
Changelog
by Jerry James (2016-06-01):
- New upstream release |