[ sid ]
套件:libssreflect-ocaml(1.6.1-3 以及其他的) [debports]
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.
其他與 libssreflect-ocaml 有關的套件
|
|
|
|
-
- dep: libcoq-ocaml-eqz92 [除 hppa]
- 套件暫時不可用
-
- dep: libcoq-ocaml-uqoh2 [hppa]
- 套件暫時不可用
-
- dep: ocaml-base-nox-4.02.3 [hppa]
- 套件暫時不可用
-
- dep: ocaml-base-nox-4.05.0 [除 hppa]
- 套件暫時不可用
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
下載 libssreflect-ocaml
硬體架構 | 版本 | 套件大小 | 安裝後大小 | 檔案 |
---|---|---|---|---|
alpha (非官方移植版) | 1.6.1-3 | 92。5 kB | 534。0 kB | [檔案列表] |
hppa (非官方移植版) | 1.6.1-2+b1 | 92。0 kB | 533。0 kB | [檔案列表] |
ia64 (非官方移植版) | 1.6.1-3 | 92。6 kB | 534。0 kB | [檔案列表] |
sh4 (非官方移植版) | 1.6.1-3 | 92。5 kB | 534。0 kB | [檔案列表] |
sparc64 (非官方移植版) | 1.6.1-3 | 92。5 kB | 534。0 kB | [檔案列表] |
x32 (非官方移植版) | 1.6.1-3 | 92。5 kB | 534。0 kB | [檔案列表] |