Skip to content

GitLab

Explore

Sign in

I

iris-coq

Project information

The Coq development for Iris. [project website] [coqdoc]

4,675 Commits
57 Branches
10 Tags

README
Creative Commons Attribution 4.0 International
CHANGELOG
CONTRIBUTING

Created on

January 24, 2019

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:maximedenes/iris-coq.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/maximedenes/iris-coq.git