[ 源代码: aac-tactics ]
软件包:libcoq-aac-tactics(8.18.0-1 以及其他的)
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.
其他与 libcoq-aac-tactics 有关的软件包
|
|
|
|
-
- dep: libcoq-core-ocaml-zchk9
- 本虚包由这些包填实: libcoq-core-ocaml
-
- dep: libcoq-stdlib-nhhu6
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libstdlib-ocaml-058x2
- 本虚包由这些包填实: libstdlib-ocaml
-
- dep: libzarith-ocaml-zlfv4
- 本虚包由这些包填实: libzarith-ocaml