Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

opam repository for development versions of things we develop.

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

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

Automation for Iris

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

Local Simulation proofs, the Iris style

Some example verification demonstrating the use of Iris.

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

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 Coq development for Iris. [project website] [coqdoc]

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

The Iron logic for precise reasoning about resources [project website]

The Coq development of LambdaRust

A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)