coq-iris

Iris is a Higher-Order Concurrent Separation Logic Framework with support for interactive proofs

opam install coq-iris.3.3.0
homepage
https://iris-project.org/
license
BSD
bugs tracker
https://gitlab.mpi-sws.org/iris/iris/issues
dependencies
"coq" {(>= "8.9.1" & < "8.13~") | (= "dev")} "coq-stdpp" {(= "1.4.0") | (= "dev")}
source
https://gitlab.mpi-sws.org/iris/iris/repository/iris-3.3.0/archive.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-iris/coq-iris.3.3.0