Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
FP / iris-examples
Some example verification demonstrating the use of Iris.
-
Dan Frumin / ReLoC
A calculus of logical relations for concurrency, formalized in Iris.
-
FP / iris-coq
The Coq development for Iris