Paket: libaac-tactics-coq (8.15.0-1)
Links für libaac-tactics-coq
Trisquel-Ressourcen:
Quellcode-Paket aac-tactics herunterladen:
Betreuer:
Original Maintainers:
- Debian OCaml Maintainers (E-Mail-Archiv)
- Stéphane Glondu
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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 Pakete mit Bezug zu libaac-tactics-coq
|
|
|
-
- dep: coq-8.15.0+4.13.1
- virtuelles Paket, bereitgestellt durch coq
-
- dep: libaac-tactics-ocaml (>= 8.15.0-1)
- Coq tactics for reasoning modulo AC (plugin)
libaac-tactics-coq herunterladen
Architektur | Paketgröße | Größe (installiert) | Dateien |
---|---|---|---|
all | 282,3 kB | 1988 kB | [Liste der Dateien] |