Explore GitLab
Discover projects, groups and snippets. Share your projects with others

0updated

Xiaojie Guo / rtproofs
The main Coq development.
0updated 
0updated

Zhen Zhang / iriscoq
The Coq development for Iris

Daniel Neider / rltl
rLTL Tools Collection
0updated 
Sophie Quinton / rtproofs
The main Coq development.

Dan Frumin / iriscoq
The Coq development for Iris

0updated

Lily Tsai / dataForPrototype
Data in csv format
0updated 
Björn Brandenburg / prosa
The main Coq development.
0updated 
Marsso / rtproofs
The main Coq development.
0updated 
0updated

0updated

Amin Timany / iriscoq
The Coq development for Iris

0updated

Felipe Cerqueira / rtproofs
The main Coq development.
0updated 
0updated

0updated

Robbert / ragps
A soundness proof for GPS and RSL with ReleaseAcquire semantics in Iris.
0updated 
Sergey Bozhko / rtproofs
The main Coq development.
0updated