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

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

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

opam repository for development versions of things we develop.

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

Code for computing sufficient, implementable and permissive assumptions.

This project hopes to gather bibliographic sources regarding weak memory.

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

Some example verification demonstrating the use of Iris.

The Coq development for Iris

The main Coq development.

Controller synthesis for stochastic dynamical system by means of finite abstraction

This project contains some scripts and other files that are used by many Iris project for their CI

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