Discover projects, groups and snippets. Share your projects with others
A tactic language framework to ease proving theorems in HOL4.
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Practical verification of numerical kernels
The Coq development of LambdaRust
The Coq development for Iris. [project website] [coqdoc]
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.
An extended "Standard Library" for Coq. [coqdoc]