[ Kaynak: aac-tactics ]
Paket: libcoq-aac-tactics (8.18.0-1 ve diğerleri)
libcoq-aac-tactics için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
aac-tactics Kaynak Paketini İndir:
Geliştiriciler:
- Debian OCaml Maintainers (QA Sayfası, Posta Arşivi)
- Stéphane Glondu (QA Sayfası)
- Julien Puydt (QA Sayfası)
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
Coq tactics for reasoning modulo AC (theories)
This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
This package provides the Coq support library.
libcoq-aac-tactics ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-core-ocaml-zchk9
- sanal paketi sağlayan libcoq-core-ocaml
-
- dep: libcoq-stdlib-nhhu6
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libstdlib-ocaml-058x2
- sanal paketi sağlayan libstdlib-ocaml
-
- dep: libzarith-ocaml-zlfv4
- sanal paketi sağlayan libzarith-ocaml
libcoq-aac-tactics indir
| Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|---|
| ppc64el | 8.18.0-1+b1 | 377,6 kB | 3.049,0 kB | [dosya listesi] |