Explore projects

Local Simulation proofs, the Iris style

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

opam repository for development versions of things we develop.

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

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

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

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

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

This project hopes to gather bibliographic sources regarding weak memory.

This project hopes to gather bibliographic sources regarding weak memory.

Coq development for the Semantics course taught at Saarland University

https://os.mpi-sws.org/

Automation for Iris

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