[ bianca ]

[ Kaynak: coq-iris ]

Paket: libcoq-iris (4.3.0-1 ve diğerleri)

libcoq-iris için bağlantılar

eLxr 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

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: libcoq-stdpp-yzya5 [amd64]

sanal paketi sağlayan libcoq-stdpp
dep: libcoq-stdpp-zoxl9 [arm64]

sanal paketi sağlayan libcoq-stdpp

libcoq-iris indir

Tüm mevcut mimariler için indir
Mimari	Sürüm	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	4.3.0-1+b5	12.317,0 kB	39.732,0 kB	[dosya listesi]
arm64	4.3.0-1+b6	12.319,7 kB	39.732,0 kB	[dosya listesi]