[ sid ]
Пакунок: libaac-tactics-ocaml (8.11.0-1 and others) [debports]
Links for libaac-tactics-ocaml
Debian Resources:
Download Source Package :
Не знайденоMaintainers:
External Resources:
- Homepage [github.com]
Similar packages:
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.
Інші пакунки пов'язані з libaac-tactics-ocaml
|
|
|
|
-
- dep: libcoq-ocaml-mdvi3 [sparc64]
- Пакунок недоступний
-
- dep: libcoq-ocaml-p2447 [sh4]
- Пакунок недоступний
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Пакунок недоступний
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Пакунок недоступний
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Пакунок недоступний
-
- dep: ocaml-base-nox-4.08.1 [not alpha]
- Пакунок недоступний
-
- rec: libaac-tactics-coq
- Пакунок недоступний
-
- enh: coq
- Інтерактивний програмний засіб доведення теорем для логіки вищого порядку (інтерактивне середовище і компілятор)
Завантажити libaac-tactics-ocaml
Архітектура | Версія | Розмір пакунка | Розмір після встановлення | Файли |
---|---|---|---|---|
alpha (unofficial port) | 8.8.0+1.gbp069dc3b-1+b2 | 27.0 kB | 135.0 kB | [список файлів] |
hppa (unofficial port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [список файлів] |
ia64 (unofficial port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [список файлів] |
sh4 (unofficial port) | 8.11.0-1+b2 | 25.3 kB | 115.0 kB | [список файлів] |
sparc64 (unofficial port) | 8.8.0+1.gbp069dc3b-1+b2 | 26.7 kB | 131.0 kB | [список файлів] |
x32 (unofficial port) | 8.9.0-1+b1 | 26.7 kB | 130.0 kB | [список файлів] |