Пакет: libcoq-iris (4.3.0-1 и другие)

Ссылки для libcoq-iris

Отслеживание заплат eLxr

Исходный код coq-iris:

Сопровождающие:

Внешние ресурсы:

Сайт [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.

Другие пакеты, относящиеся к libcoq-iris

зависимости

рекомендации

предложения

enhances

dep: libcoq-stdpp-yzya5 [amd64]

виртуальный пакет, предоставляемый libcoq-stdpp
dep: libcoq-stdpp-zoxl9 [arm64]

виртуальный пакет, предоставляемый libcoq-stdpp

Загрузка libcoq-iris

Загрузить для всех доступных архитектур
Архитектура	Версия	Размер пакета	В установленном виде	Файлы
amd64	4.3.0-1+b5	12 317,0 Кб	39 732,0 Кб	[список файлов]
arm64	4.3.0-1+b6	12 319,7 Кб	39 732,0 Кб	[список файлов]