Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
FP / LambdaRust-coq
The Coq development of LambdaRust
-
FP / iris-coq
The Coq development for Iris
-
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
1updated -
AVA / FloVer
A certificate checker for roundoff error bounds
-
Marianna Rapoport / iris-coq
The Coq development for Iris
0updated