[ 原始碼： aac-tactics ]
套件： libaac-tactics-coq (8.11.0-1)
libaac-tactics-coq 的相關超連結
Trisquel 的資源：
下載原始碼套件 aac-tactics：
維護者：
Original Maintainers:
- Debian OCaml Maintainers (郵件存檔)
- Stéphane Glondu
外部的資源：
- 主頁 [github.com]
相似套件：
Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the Coq support library.
其他與 libaac-tactics-coq 有關的套件
|
|
|
-
- dep: coq-8.11.0+4.08.1
- 本虛擬套件由這些套件提供： coq
-
- dep: libaac-tactics-ocaml (>= 8.11.0-1)
- Coq tactics for reasoning modulo AC (plugin)