Paket: libaac-tactics-ocaml (8.6.1-2)
libaac-tactics-ocaml için bağlantılar
Trisquel Kaynakları:
aac-tactics Kaynak Paketini İndir:
Geliştirici:
Original Maintainers:
- Debian OCaml Maintainers (Posta Arşivi)
- Stéphane Glondu
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
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 ile İlgili Diğer Paketler
|
|
|
-
- dep: libc6 (>= 2.1.3) [i386]
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
- dep: libc6 (>= 2.2.5) [amd64]
-
- dep: libcoq-ocaml-6pjp3 [i386]
- sanal paketi sağlayan libcoq-ocaml
-
- dep: libcoq-ocaml-ywd98 [amd64]
- sanal paketi sağlayan libcoq-ocaml
-
- dep: ocaml-base-nox-4.05.0
- sanal paketi sağlayan 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)
libaac-tactics-ocaml indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
amd64 | 117,5 kB | 552 kB | [dosya listesi] |
i386 | 108,2 kB | 484 kB | [dosya listesi] |