Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
FP / iris-coq
The Coq development for Iris
-
FP / iris-atomic
Logically Atomic Triples in Iris
-
FP / promising
An extraction of the promising semantics
-
FP / iris-examples
Some example verification demonstrating the use of Iris.
-
AVA / FloVer Master
A certificate checker for roundoff error bounds