Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Jan-Oliver Kaiser / iris-coq
The Coq development for Iris
0updated -
Jan / iris-coq
The Coq development for Iris
-
0updated
-
Glen Mével / iris-coq
The Coq development for Iris
-
rLTL / rltl2ltl
rLTL to LTL rewriter
0updated -
Antonin Riffard / rt-proofs
The main Coq development.
0updated -
0updated
-
Dan Frumin / iris-examples
Some example verification demonstrating the use of Iris.
0updated -
FP / iris-ci
This project contains some scripts and other files that are used by many Iris project for their CI
0updated -
Joseph Tassarotti / ipm-fscq-demo
This is a demo showing how the the Iris Proof Mode can be used with FSCQ.
0updated -
Amin Timany / iris-ora
Formalizes the ordered RA model of Iris
-
AVA / FloVer
A certificate checker for roundoff error bounds
-
Aman Shankar Mathur / VRTrackingSimulator
A simulator to visualize/analyze tracking data from VR
0updated -
Dan Frumin / iris-atomic
Logically Atomic Triples in Iris
-
Lily Tsai / dataForPrototype
Data in csv format
0updated -
FP / iris-tutorial
Exercises for the Iris tutorial
0updated -
David Swasey / derek-popl18-talk
Safety of a syntactically unsafe symbol ADT.
1updated -
Xiaojie Guo / rt-proofs
The main Coq development.
0updated -
0updated
-
Maxime Lesourd / rt-proofs
The main Coq development.
0updated