[ Kaynak: coq-iris ]
Paket: libcoq-iris (4.1.0-1)
libcoq-iris 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-iris Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [gitlab.mpi-sws.org]
Benzer paketler:
high-order concurrent separation logic framework for Coq
This package provides a high-order concurrent separation logic framework for Coq, which means it is useful to reason about safety of concurrent programs.
Coq is a proof assistant for higher-order logic.
libcoq-iris ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-stdpp-5irq3 [arm64]
- sanal paketi sağlayan libcoq-stdpp
-
- dep: libcoq-stdpp-a3pv7 [amd64]
- sanal paketi sağlayan libcoq-stdpp
-
- dep: libcoq-stdpp-ltct2 [s390x]
- sanal paketi sağlayan libcoq-stdpp
-
- dep: libcoq-stdpp-nv9t7 [i386]
- sanal paketi sağlayan libcoq-stdpp
-
- dep: libcoq-stdpp-rrp02 [armhf]
- sanal paketi sağlayan libcoq-stdpp
-
- dep: libcoq-stdpp-trc73 [ppc64el]
- sanal paketi sağlayan libcoq-stdpp
libcoq-iris indir
Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|
amd64 | 11.634,0 kB | 42.444,0 kB | [dosya listesi] |
arm64 | 11.635,6 kB | 42.444,0 kB | [dosya listesi] |
armhf | 11.631,8 kB | 42.388,0 kB | [dosya listesi] |
i386 | 11.631,7 kB | 42.388,0 kB | [dosya listesi] |
ppc64el | 11.634,4 kB | 42.444,0 kB | [dosya listesi] |
s390x | 11.636,0 kB | 42.444,0 kB | [dosya listesi] |