[ Bron: aac-tactics ]
Pakket: libaac-tactics-ocaml (8.11.0-1)
Verwijzigingen voor libaac-tactics-ocaml
Trisquel bronnen:
Het bronpakket aac-tactics downloaden:
Beheerder:
Original Maintainers:
- Debian OCaml Maintainers (Mailarchief)
- Stéphane Glondu
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
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.
Andere aan libaac-tactics-ocaml gerelateerde pakketten
|
|
|
-
- dep: libcoq-ocaml-rd419
- virtueel pakket geboden door libcoq-ocaml
-
- dep: ocaml-base-nox-4.08.1
- virtueel pakket geboden door ocaml-base-nox
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)