Paket: libaac-tactics-ocaml (8.15.0-1)
Länkar för libaac-tactics-ocaml
Trisquelresurser:
Hämta källkodspaketet aac-tactics:
Ansvarig:
Original Maintainers:
- Debian OCaml Maintainers (E-postarkiv)
- Stéphane Glondu
Externa resurser:
- Hemsida [github.com]
Liknande paket:
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.
Andra paket besläktade med libaac-tactics-ocaml
|
|
|
-
- dep: libcoq-core-ocaml-rt7d5
- virtuellt paket som tillhandahålls av libcoq-core-ocaml
-
- dep: libzarith-ocaml-4dps0
- virtuellt paket som tillhandahålls av libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- virtuellt paket som tillhandahålls av ocaml-base
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Hämta libaac-tactics-ocaml
Arkitektur | Paketstorlek | Installerad storlek | Filer |
---|---|---|---|
arm64 | 146,6 kbyte | 525 kbyte | [filförteckning] |