Pakket: libaac-tactics-coq (8.11.0-1)
Verwijzigingen voor libaac-tactics-coq
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 (theories)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the Coq support library.
Andere aan libaac-tactics-coq gerelateerde pakketten
|
|
|
-
- dep: coq-8.11.0+4.08.1
- virtueel pakket geboden door coq
-
- dep: libaac-tactics-ocaml (>= 8.11.0-1)
- Coq tactics for reasoning modulo AC (plugin)