Explore projects

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

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

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

Automation for Iris

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

The Coq development for Iris

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

This is the repository for the EU EIC project called SymAware.