libwhy-coq 2.26+dfsg-2 (i386 binary) in ubuntu oneiric
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.
Details
- Package version:
- 2.26+dfsg-2
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
i386 build of why 2.26+dfsg-2 in ubuntu maverick RELEASE produced
these files:
- libwhy-coq_2.26+dfsg-2_all.deb (474.5 KiB)