[ 源代码： coq-iris ]
软件包：libcoq-iris（4.1.0-1）
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.