Pakiet: libaac-tactics-coq (8.6.1-2)
Odnośniki dla libaac-tactics-coq
Zasoby systemu Trisquel:
- Install using apturl
- Entry at directory.fsf.org
- Raporty o błędach
- Changelog
- Informacje nt. praw autorskich
Pobieranie pakietu źródłowego aac-tactics:
Opiekun:
Original Maintainers:
- Debian OCaml Maintainers (Archiwum e-mail)
- Stéphane Glondu
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 libaac-tactics-coq
|
|
|
-
- dep: coq-8.6+4.05.0
- pakiet wirtualny udostępniany przez coq
-
- dep: libaac-tactics-ocaml (>= 8.6.1-2)
- Coq tactics for reasoning modulo AC (plugin)
Pobieranie libaac-tactics-coq
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
all | 215,6 KiB | 1525 KiB | [lista plików] |