[ Source: ssreflect ]
Package: libssreflect-ocaml (1.2+dfsg-6)
Links for libssreflect-ocaml
Debian Resources:
Download Source Package ssreflect:
Maintainers:
External Resources:
- Homepage [www.msr-inria.inria.fr]
Similar packages:
extensão de reflexão de pequena escala para Coq (plugin)
Este pacote é parte de Ssreflect, a extensão de reflexão de pequena escala para o Coq. Disponibiliza uma nova linguagem táctica, que promove scripts de prova mais estruturados, concisos e robustos, e é de facto independente do estilo de prova "reflection". É implementado como uma extensão ligável ao sistema Coq.
Other Packages Related to libssreflect-ocaml
|
|
|
-
- dep: libc6 (>= 2.1.3)
- Biblioteca C GNU Embebida: Bibliotecas partilhadas
also a virtual package provided by libc6-udeb
-
- dep: ocaml-base-nox-3.11.2
- virtual package provided by ocaml-base-nox
Download libssreflect-ocaml
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| powerpc | 399.1 kB | 1,556.0 kB | [list of files] |