[ Zdroj: aac-tactics ]
Balík: libaac-tactics-ocaml (8.6.1-2)
Odkazy pre libaac-tactics-ocaml
Zdroje Trisquel:
Stiahnuť zdrojový balík aac-tactics:
Správca:
Original Maintainers:
- Debian OCaml Maintainers (Konferencia)
- Stéphane Glondu
Externé zdroje:
- Domovská stránka [github.com]
Podobné balíky:
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.
Ostatné balíky súvisiace s balíkom libaac-tactics-ocaml
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
tiež virtuálny balík poskytovaný balíkom libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: libcoq-ocaml-6pjp3 [i386]
- virtuálny balík poskytovaný balíkom libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- virtuálny balík poskytovaný balíkom libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- virtuálny balík poskytovaný balíkom ocaml-base-nox
-
- rec: libaac-tactics-coq
- Coq tactics for reasoning modulo AC (theories)
-
- enh: coq
- proof assistant for higher-order logic (toplevel and compiler)
Stiahnuť libaac-tactics-ocaml
| Architektúra | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|
| amd64 | 117.5 kB | 552 kB | [zoznam súborov] |
| i386 | 108.2 kB | 484 kB | [zoznam súborov] |