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

FP / iriscoq
The Coq development for Iris

AVA / daisypublic
Daisy  a framework for accuracy analysis and synthesis of numerical programs
2updated 
1updated

David Swasey / derekpopl18talk
Safety of a syntactically unsafe symbol ADT.
1updated 
Dan Frumin / ReLoC
A calculus of logical relations for concurrency, formalized in Iris.
1updated 
Pascal Fradet / rtproofs
The main Coq development.
1updated 
FP / LambdaRustcoq
The Coq development of LambdaRust

RTPROOFS / rtproofs
The main Coq development.
1updated 
FP / ragps
A soundness proof for GPS and RSL with ReleaseAcquire semantics in Iris.

FP / opamdev
opam repository for development versions of things we develop.
1updated 
0updated

Amin Timany / iriscoq
The Coq development for Iris

0updated

Björn Brandenburg / prosa
The main Coq development.
0updated 
Marsso / rtproofs
The main Coq development.
0updated 
Sophie Quinton / rtproofs
The main Coq development.

0updated

0updated

0updated