coq-iris

This is the Coq development of the Iris Project.

opam install coq-iris.3.1.0
homepage
http://iris-project.org/
license
BSD
bugs tracker
https://gitlab.mpi-sws.org/FP/iris-coq/issues
dependencies
coq ((>= 8.6.1 & < 8.9~) | (= dev)) & coq-mathcomp-ssreflect ((>= 1.6.1 & < 1.8~) | (= dev)) & coq-stdpp ((= 1.1.0) | (= dev))
source
https://gitlab.mpi-sws.org/FP/iris-coq/repository/iris-3.1.0/archive.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-iris/coq-iris.3.1.0