Paket: libcoq-iris (4.3.0-1 und andere)

Links für libcoq-iris

eLxr Patch-Überblick

Quellcode-Paket coq-iris herunterladen:

[coq-iris_4.3.0-1.debian.tar.xz]
[coq-iris_4.3.0-1.dsc]
[coq-iris_4.3.0.orig.tar.bz2]

Betreuer:

Debian OCaml Maintainers
Julien Puydt

Externe Ressourcen:

Homepage [gitlab.mpi-sws.org]

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 Pakete mit Bezug zu libcoq-iris

hängt ab von

empfiehlt

schlägt vor

erweitert

dep: libcoq-stdpp-yzya5 [amd64]

virtuelles Paket, bereitgestellt durch libcoq-stdpp
dep: libcoq-stdpp-zoxl9 [arm64]

virtuelles Paket, bereitgestellt durch libcoq-stdpp

libcoq-iris herunterladen

Download für alle verfügbaren Architekturen
Architektur	Version	Paketgröße	Größe (installiert)	Dateien
amd64	4.3.0-1+b5	12.317,0 kB	39.732,0 kB	[Liste der Dateien]
arm64	4.3.0-1+b6	12.319,7 kB	39.732,0 kB	[Liste der Dateien]