eLxr packages [ bianca ]
[ Pakiet źródłowy: aac-tactics ]
Pakiet: libcoq-aac-tactics (8.20.0-1 i inne)
Odnośniki dla libcoq-aac-tactics
Pobieranie pakietu źródłowego aac-tactics:
Opiekunowie:
Zasoby zewnętrzne:
- Strona internetowa [github.com]
Podobne pakiety:
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.
Inne pakiety związane z libcoq-aac-tactics
|
|
|
|
-
- dep: libcoq-core-ocaml-29kh7 [amd64]
- pakiet wirtualny udostępniany przez libcoq-core-ocaml
-
- dep: libcoq-core-ocaml-ub9d2 [arm64]
- pakiet wirtualny udostępniany przez libcoq-core-ocaml
-
- dep: libcoq-stdlib-1ns11 [arm64]
- pakiet wirtualny udostępniany przez libcoq-stdlib
-
- dep: libcoq-stdlib-68yx1 [amd64]
- pakiet wirtualny udostępniany przez libcoq-stdlib
-
- dep: libstdlib-ocaml-m4xw9
- pakiet wirtualny udostępniany przez libstdlib-ocaml
-
- dep: libzarith-ocaml-h79v1
- pakiet wirtualny udostępniany przez libzarith-ocaml
Pobieranie libcoq-aac-tactics
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| amd64 | 8.20.0-1+b4 | 385,3 KiB | 2 885,0 KiB | [lista plików] |
| arm64 | 8.20.0-1+b4 | 391,2 KiB | 3 101,0 KiB | [lista plików] |