[ Kaynak: coq-mtac2 ]
Paket: libcoq-mtac2 (1.4+8.19-1)
libcoq-mtac2 için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
coq-mtac2 Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
Mtac2 tactic language for Coq
This plugin for Coq provides the Mtac2 typed tactic language for backward reasoning.
Coq is a proof assistant for higher-order logic.
libcoq-mtac2 ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-stdlib-93wq5
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-unicoq-3uyp7
- sanal paketi sağlayan libcoq-unicoq
libcoq-mtac2 indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| ppc64el | 781,8 kB | 5.037,0 kB | [dosya listesi] |