eLxr packages [ bianca ]
[ Source: aac-tactics ]
Paketti: libcoq-aac-tactics (8.20.0-1 ja muut)
Links for libcoq-aac-tactics
Imuroi lähdekoodipaketti aac-tactics:
Ylläpitäjät:
External Resources:
- Kotisivu [github.com]
Samankaltaisia paketteja:
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.
Muut pakettiin libcoq-aac-tactics liittyvät paketit
|
|
|
|
-
- dep: libcoq-core-ocaml-29kh7 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-core-ocaml
-
- dep: libcoq-stdlib-1ns11 [arm64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- näennäispaketti, jonka toteuttaa libcoq-stdlib
-
- dep: libstdlib-ocaml-m4xw9
- näennäispaketti, jonka toteuttaa libstdlib-ocaml
-
- dep: libzarith-ocaml-h79v1
- näennäispaketti, jonka toteuttaa libzarith-ocaml
Imuroi libcoq-aac-tactics
| Arkkitehtuuri | Versio | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|---|
| amd64 | 8.20.0-1+b4 | 385.3 kt | 2,885.0 kt | [tiedostoluettelo] |
| arm64 | 8.20.0-1+b4 | 391.2 kt | 3,101.0 kt | [tiedostoluettelo] |