[ etiona ]
[ Bron: ssreflect ]
Pakket: libssreflect-ocaml (1.6.1-3build1)
Verwijzigingen voor libssreflect-ocaml
Trisquel bronnen:
Het bronpakket ssreflect downloaden:
Beheerder:
Original Maintainers:
- Debian OCaml Maintainers (Mailarchief)
- Stéphane Glondu
- Enrico Tassi
Externe bronnen:
- Homepage [math-comp.github.io]
Vergelijkbare pakketten:
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 aan libssreflect-ocaml gerelateerde pakketten
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
Ook een virtueel pakket geboden door: libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: libcoq-ocaml-6pjp3 [i386]
- virtueel pakket geboden door libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- virtueel pakket geboden door libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtueel pakket geboden door ocaml-base-nox
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)