[ sid ]
Paket: libaac-tactics-ocaml (8.11.0-1 und andere) [debports]
Links für libaac-tactics-ocaml
Debian-Ressourcen:
Quellcode-Paket herunterladen:
Nicht gefundenBetreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
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.
Andere Pakete mit Bezug zu libaac-tactics-ocaml
|
|
|
|
-
- dep: libcoq-ocaml-mdvi3 [sparc64]
- Paket nicht verfügbar
-
- dep: libcoq-ocaml-p2447 [sh4]
- Paket nicht verfügbar
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Paket nicht verfügbar
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Paket nicht verfügbar
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Paket nicht verfügbar
-
- dep: ocaml-base-nox-4.08.1 [nicht alpha]
- Paket nicht verfügbar
-
- rec: libaac-tactics-coq
- Paket nicht verfügbar
-
- enh: coq
- Beweis-Assistent für Logik höherer Ordnung (Toplevel und Compiler)
libaac-tactics-ocaml herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| alpha (inoffizielle Portierung) | 8.8.0+1.gbp069dc3b-1+b2 | 27,0 kB | 135,0 kB | [Liste der Dateien] |
| hppa (inoffizielle Portierung) | 8.9.0-1+b1 | 26,7 kB | 130,0 kB | [Liste der Dateien] |
| ia64 (inoffizielle Portierung) | 8.9.0-1+b1 | 26,7 kB | 130,0 kB | [Liste der Dateien] |
| sh4 (inoffizielle Portierung) | 8.11.0-1+b2 | 25,3 kB | 115,0 kB | [Liste der Dateien] |
| sparc64 (inoffizielle Portierung) | 8.8.0+1.gbp069dc3b-1+b2 | 26,7 kB | 131,0 kB | [Liste der Dateien] |
| x32 (inoffizielle Portierung) | 8.9.0-1+b1 | 26,7 kB | 130,0 kB | [Liste der Dateien] |