[ etiona ]
[ Zdroj: ssreflect ]
Balík: libssreflect-ocaml (1.6.1-3build1)
Odkazy pre libssreflect-ocaml
Zdroje Trisquel:
Stiahnuť zdrojový balík ssreflect:
Správca:
Original Maintainers:
- Debian OCaml Maintainers (Konferencia)
- Stéphane Glondu
- Enrico Tassi
Externé zdroje:
- Domovská stránka [math-comp.github.io]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom libssreflect-ocaml
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: libcoq-ocaml-6pjp3 [i386]
- virtuálny balík poskytovaný balíkom libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- virtuálny balík poskytovaný balíkom libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtuálny balík poskytovaný balíkom ocaml-base-nox
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Stiahnuť libssreflect-ocaml
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 389.6 kB | 2106 kB | [zoznam súborov] |
| i386 | 340.4 kB | 1743 kB | [zoznam súborov] |