[ etiona ]
[ Källkod: why ]
Paket: libwhy-coq (2.39-2build1)
Länkar för libwhy-coq
Trisquelresurser:
Hämta källkodspaketet why:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Samuel Mimram
- Mehdi Dogguy
- Ralf Treinen
Externa resurser:
- Hemsida [krakatoa.lri.fr]
Liknande paket:
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.
Andra paket besläktade med libwhy-coq
|
|
|
-
- dep: coq-8.6+4.05.0
- virtuellt paket som tillhandahålls av coq
Hämta libwhy-coq
| Arkitektur | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|
| all | 34,5 kbyte | 110 kbyte | [filförteckning] |