[ Pakiet źródłowy: aac-tactics ]
Pakiet: libcoq-aac-tactics (8.19.1-2 i inne)
Odnośniki dla libcoq-aac-tactics
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego aac-tactics:
Opiekunowie:
- Debian OCaml Maintainers (Strona QA, Archiwum e-mail)
- Stéphane Glondu (Strona QA)
- Julien Puydt (Strona QA)
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-sub10
- pakiet wirtualny udostępniany przez libcoq-core-ocaml
-
- dep: libcoq-stdlib-wfue2
- pakiet wirtualny udostępniany przez libcoq-stdlib
-
- dep: libstdlib-ocaml-vvst5
- pakiet wirtualny udostępniany przez libstdlib-ocaml
-
- dep: libzarith-ocaml-mtsj7
- pakiet wirtualny udostępniany przez libzarith-ocaml
Pobieranie libcoq-aac-tactics
Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|---|
riscv64 | 8.19.1-2+b2 | 397,1 KiB | 3 072,0 KiB | [lista plików] |