[ Bron: coq-iris ]
Pakket: libcoq-iris (4.1.0-1)
Verwijzigingen voor libcoq-iris
Debian bronnen:
Het bronpakket coq-iris downloaden:
Beheerders:
Externe bronnen:
- Homepage [gitlab.mpi-sws.org]
Vergelijkbare pakketten:
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.
Andere aan libcoq-iris gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-stdpp-5irq3 [arm64]
- virtueel pakket geboden door libcoq-stdpp
-
- dep: libcoq-stdpp-a3pv7 [amd64]
- virtueel pakket geboden door libcoq-stdpp
-
- dep: libcoq-stdpp-ltct2 [s390x]
- virtueel pakket geboden door libcoq-stdpp
-
- dep: libcoq-stdpp-nv9t7 [i386]
- virtueel pakket geboden door libcoq-stdpp
-
- dep: libcoq-stdpp-rrp02 [armhf]
- virtueel pakket geboden door libcoq-stdpp
-
- dep: libcoq-stdpp-trc73 [ppc64el]
- virtueel pakket geboden door libcoq-stdpp
libcoq-iris downloaden
Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
---|---|---|---|
amd64 | 11.634,0 kB | 42.444,0 kB | [overzicht] |
arm64 | 11.635,6 kB | 42.444,0 kB | [overzicht] |
armhf | 11.631,8 kB | 42.388,0 kB | [overzicht] |
i386 | 11.631,7 kB | 42.388,0 kB | [overzicht] |
ppc64el | 11.634,4 kB | 42.444,0 kB | [overzicht] |
s390x | 11.636,0 kB | 42.444,0 kB | [overzicht] |