[ ソース: coq-iris ]
パッケージ: libcoq-iris (4.1.0-1 など)
libcoq-iris に関するリンク
Debian の資源:
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 関連パッケージ
|
|
|
|
-
- dep: libcoq-stdpp-jnu44
- 以下のパッケージによって提供される仮想パッケージです: libcoq-stdpp