Pakiet: libaac-tactics-ocaml (8.15.0-1)
Odnośniki dla libaac-tactics-ocaml
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 (plugin)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the plugin itself.
Inne pakiety związane z libaac-tactics-ocaml
|
|
|
-
- dep: libcoq-core-ocaml-rt7d5
- pakiet wirtualny udostępniany przez libcoq-core-ocaml
-
- dep: libzarith-ocaml-4dps0
- pakiet wirtualny udostępniany przez libzarith-ocaml
-
- dep: ocaml-base-4.13.1
- pakiet wirtualny udostępniany przez ocaml-base
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Pobieranie libaac-tactics-ocaml
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
arm64 | 146,6 KiB | 525 KiB | [lista plików] |