[ etiona ]
[ Quellcode: ssreflect ]
Paket: libssreflect-ocaml (1.6.1-3build1)
Links für libssreflect-ocaml
Trisquel-Ressourcen:
Quellcode-Paket ssreflect herunterladen:
Betreuer:
Original Maintainers:
- Debian OCaml Maintainers (E-Mail-Archiv)
- Stéphane Glondu
- Enrico Tassi
Externe Ressourcen:
- Homepage [math-comp.github.io]
Ähnliche Pakete:
small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection extension for Coq. It provides a new tactic language, which promotes more structured, concise and robust proof scripts, and is in fact independent from the "reflection" proof style. It is implemented as a linkable extension to the Coq system.
Andere Pakete mit Bezug zu libssreflect-ocaml
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
auch ein virtuelles Paket, bereitgestellt durch libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: libcoq-ocaml-6pjp3 [i386]
- virtuelles Paket, bereitgestellt durch libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- virtuelles Paket, bereitgestellt durch libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtuelles Paket, bereitgestellt durch ocaml-base-nox
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
libssreflect-ocaml herunterladen
| Architektur | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|
| amd64 | 389,6 kB | 2106 kB | [Liste der Dateien] |
| i386 | 340,4 kB | 1743 kB | [Liste der Dateien] |