[ sid ]
Pakiet: libaac-tactics-ocaml (8.11.0-1 i inne) [debports]
Odnośniki dla libaac-tactics-ocaml
Zasoby systemu Debian:
Pobieranie pakietu źródłowego :
Nie znalezionoOpiekunowie:
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-ocaml-mdvi3 [sparc64]
- Pakiet niedostępny
-
- dep: libcoq-ocaml-p2447 [sh4]
- Pakiet niedostępny
-
- dep: libcoq-ocaml-si6h6 [hppa, ia64, x32]
- Pakiet niedostępny
-
- dep: libcoq-ocaml-tvkp6 [alpha]
- Pakiet niedostępny
-
- dep: ocaml-base-nox-4.05.0 [alpha]
- Pakiet niedostępny
-
- dep: ocaml-base-nox-4.08.1 [nie alpha]
- Pakiet niedostępny
-
- rec: libaac-tactics-coq
- Pakiet niedostępny
-
- enh: coq
- Asystent udowadniania logiki wyższego rzędu (interfejs i kompilator)
Pobieranie libaac-tactics-ocaml
| Architektura | Wersja | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
|---|---|---|---|---|
| alpha (port nieoficjalny) | 8.8.0+1.gbp069dc3b-1+b2 | 27,0 KiB | 135,0 KiB | [lista plików] |
| hppa (port nieoficjalny) | 8.9.0-1+b1 | 26,7 KiB | 130,0 KiB | [lista plików] |
| ia64 (port nieoficjalny) | 8.9.0-1+b1 | 26,7 KiB | 130,0 KiB | [lista plików] |
| sh4 (port nieoficjalny) | 8.11.0-1+b2 | 25,3 KiB | 115,0 KiB | [lista plików] |
| sparc64 (port nieoficjalny) | 8.8.0+1.gbp069dc3b-1+b2 | 26,7 KiB | 131,0 KiB | [lista plików] |
| x32 (port nieoficjalny) | 8.9.0-1+b1 | 26,7 KiB | 130,0 KiB | [lista plików] |