Explore projects

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

The Coq development for Iris

Automation for Iris

SimBricks repository mirror, only used for CI. Use https://github.com/simbricks/simbricks

Coq development for the Semantics course taught at Saarland University

Iris with transfinite step-indexing

An extended "Standard Library" for Coq. [coqdoc]

This project hopes to gather bibliographic sources regarding weak memory.

opam repository for development versions of things we develop.

The Coq development of LambdaRust

The Coq development of LambdaRust

The Coq development for Iris. [project website] [coqdoc]

The main Coq development.

SimBricks website source, automatically deployed to https://www.simbricks.io

An extended "Standard Library" for Coq. [coqdoc]

The Coq development for Iris