Paket: why3-coq (1.3.3-3) [debports]
Links für why3-coq
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Externe Ressourcen:
- Homepage [why3.lri.fr]
Ähnliche Pakete:
Coq support for the why3 verification platform
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.
Andere Pakete mit Bezug zu why3-coq
|
|
|
|
-
- dep: coq-8.12.0+4.11.1
- virtuelles Paket, bereitgestellt durch coq
-
- dep: tex-common (>= 6.13)
- Gemeinsame Infrastruktur zum Erstellen und Installieren von TeX
-
- rec: why3
- Software verification platform
why3-coq herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| x32 (inoffizielle Portierung) | 739,2 kB | 3.826,0 kB | [Liste der Dateien] |