Pardus Paket İzleyici
Ana Sayfa
Paketler
Pardus 23 Paketleri
Pardus 21 Paketleri
Pardus 19 Paketleri
GitHub İstatistikleri
Tüm İstatistikler
Sadece Ekip Dışı İstatistikler
Güncellemeler
Pardus 23 Güncellemeleri
Pardus 23.3 Güncellemeleri
English
Türkçe
Yirmiuc / libcoq-hammer
automated reasoning tool for Coq
Debian OCaml Maintainers
[email protected]
https://github.com/lukaszcz/coqhammer
1.3.2+8.16-2+b1
libcoq-hammer_1.3.2+8.16-2+b1_amd64.deb
491.6 KiB
ocaml
amd64
coq-hammer_1.3.2+8.16-2.debian.tar.xz
coq-hammer_1.3.2+8.16-2.dsc
coq-hammer_1.3.2+8.16.orig.tar.gz
Debian Versiyonu: 1.3.2+8.16-2+b1
automated reasoning tool for Coq