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

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

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

opam repository for development versions of things we develop.

This project hopes to gather bibliographic sources regarding weak memory.

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition

Code for computing sufficient, implementable and permissive assumptions.

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

The Coq development of LambdaRust

Some example verification demonstrating the use of Iris.

The main Coq development.