[ Source: why ]
Package: libwhy-coq (2.26+dfsg-2+squeeze1)
Links for libwhy-coq
Debian Resources:
Download Source Package why:
Maintainers:
External Resources:
- Homepage [why.lri.fr]
Similar packages:
Why library for Coq
This package contains all useful logical definitions, lemmas with their proofs and axioms used by Why. Users may need this package when proving some proof obligations in Coq.
Other Packages Related to libwhy-coq
|
|
|
-
- dep: coq-8.2.pl2+3.11.2
- virtual package provided by coq
Download libwhy-coq
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 501.4 kB | 1,244.0 kB | [list of files] |