[ etiona ]
[ Quellcode: why ]
Paket: libwhy-coq (2.39-2build1)
Links für libwhy-coq
Trisquel-Ressourcen:
Quellcode-Paket why herunterladen:
Betreuer:
Original Maintainers:
- Debian OCaml Maintainers (E-Mail-Archiv)
- Samuel Mimram
- Mehdi Dogguy
- Ralf Treinen
Externe Ressourcen:
- Homepage [krakatoa.lri.fr]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libwhy-coq
|
|
|
-
- dep: coq-8.6+4.05.0
- virtuelles Paket, bereitgestellt durch coq
libwhy-coq herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| all | 34,5 kB | 110 kB | [Liste der Dateien] |