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

Iris / stdpp
An extended "Standard Library" for Coq. [coqdoc]

FP / iriscoq
The Coq development for Iris. [project website] [coqdoc]

Pascal Fradet / rtproofs
The main Coq development.
1updated 
AVA / daisypublic
Daisy  a framework for accuracy analysis and synthesis of numerical programs
1updated 
1updated

FP / ragps
A soundness proof for GPS and RSL with ReleaseAcquire semantics in Iris.

David Swasey / derekpopl18talk
Safety of a syntactically unsafe symbol ADT.
1updated 
Dan Frumin / ReLoC
A calculus of logical relations for concurrency, formalized in Iris.

FP / opamdev
opam repository for development versions of things we develop.
1updated 
Iris / Iron
The Iron logic for precise reasoning about resources.

0updated

0updated

0updated

Sergey Bozhko / rtproofs
The main Coq development.
0updated 
Dan Frumin / iriscoq
The Coq development for Iris
0updated 
Janno / irisatomic
Logically Atomic Triples in Iris
0updated 
0updated

0updated

Filip Niksic / PSharp
Safe asynchronous eventdriven .NET programming.
0updated 
Janno / iriscoq
The Coq development for Iris
0updated