Discover projects, groups and snippets. Share your projects with others
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
The main Coq development.
The Coq development for Iris. [project website] [coqdoc]
A tactic language framework to ease proving theorems in HOL4.
Practical verification of numerical kernels
The Coq development of LambdaRust
This project contains some scripts and other files that are used by many Iris project for their CI
opam repository for development versions of things we develop.