Paket: libcoq-iris (4.1.0-1)

[ Källkod: coq-iris  ]

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.

Andra paket besläktade med libcoq-iris

• dep: libcoq-stdpp-5irq3 [arm64]

  virtuellt paket som tillhandahålls av libcoq-stdpp

• dep: libcoq-stdpp-a3pv7 [amd64]

  virtuellt paket som tillhandahålls av libcoq-stdpp

• dep: libcoq-stdpp-ltct2 [s390x]

  virtuellt paket som tillhandahålls av libcoq-stdpp

• dep: libcoq-stdpp-nv9t7 [i386]

  virtuellt paket som tillhandahålls av libcoq-stdpp

• dep: libcoq-stdpp-rrp02 [armhf]

  virtuellt paket som tillhandahålls av libcoq-stdpp

• dep: libcoq-stdpp-trc73 [ppc64el]

  virtuellt paket som tillhandahålls av libcoq-stdpp

Hämta libcoq-iris

Hämtningar för alla tillgängliga arkitekturer

Arkitektur	Paketstorlek	Installerad storlek	Filer
amd64	11.634,0 kbyte	42.444,0 kbyte	[filförteckning]
arm64	11.635,6 kbyte	42.444,0 kbyte	[filförteckning]
armhf	11.631,8 kbyte	42.388,0 kbyte	[filförteckning]
i386	11.631,7 kbyte	42.388,0 kbyte	[filförteckning]
ppc64el	11.634,4 kbyte	42.444,0 kbyte	[filförteckning]
s390x	11.636,0 kbyte	42.444,0 kbyte	[filförteckning]