[ sid ]
Balík: libaac-tactics-ocaml (8.11.0-1 a iné) [debports]
Odkazy pre libaac-tactics-ocaml
Zdroje Debian:
Stiahnuť zdrojový balík :
NenájdenýSprávcovia:
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: libcoq-ocaml-mdvi3 [sparc64]
- Balík nie je dostupný
-
- dep: libcoq-ocaml-p2447 [sh4]
- Balík nie je dostupný
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Balík nie je dostupný
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Balík nie je dostupný
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Balík nie je dostupný
-
- dep: ocaml-base-nox-4.08.1 [nie alpha]
- Balík nie je dostupný
-
- rec: libaac-tactics-coq
- Balík nie je dostupný
-
- enh: coq
- asistent dôkazov logiky vyššieho rádu (najvyššia úroveň a kompilátor)
Stiahnuť libaac-tactics-ocaml
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| alpha (neoficiálny port) | 8.8.0+1.gbp069dc3b-1+b2 | 27.0 kB | 135.0 kB | [zoznam súborov] |
| hppa (neoficiálny port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [zoznam súborov] |
| ia64 (neoficiálny port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [zoznam súborov] |
| sh4 (neoficiálny port) | 8.11.0-1+b2 | 25.3 kB | 115.0 kB | [zoznam súborov] |
| sparc64 (neoficiálny port) | 8.8.0+1.gbp069dc3b-1+b2 | 26.7 kB | 131.0 kB | [zoznam súborov] |
| x32 (neoficiálny port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [zoznam súborov] |