[ 原始碼: aac-tactics ]
套件: libaac-tactics-ocaml (8.15.0-1)
libaac-tactics-ocaml 的相關超連結
Trisquel 的資源:
下載原始碼套件 aac-tactics:
維護者:
Original Maintainers:
- Debian OCaml Maintainers (郵件存檔)
- Stéphane Glondu
外部的資源:
- 主頁 [github.com]
相似套件:
Coq tactics for reasoning modulo AC (plugin)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the plugin itself.
其他與 libaac-tactics-ocaml 有關的套件
|
|
|
-
- dep: libcoq-core-ocaml-rt7d5
- 本虛擬套件由這些套件提供: libcoq-core-ocaml
-
- dep: libzarith-ocaml-4dps0
- 本虛擬套件由這些套件提供: libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- 本虛擬套件由這些套件提供: ocaml-base
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)