Explore projects

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

Local Simulation proofs, the Iris style

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

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

Automation for Iris

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]

Some example verification demonstrating the use of Iris.