Explore projects

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

This project hopes to gather bibliographic sources regarding weak memory.

opam repository for development versions of things we develop.

The Coq development of LambdaRust

The Coq development of LambdaRust

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

The Coq development for Iris

Axiomatic pWCET, formalized in Coq

Some example verification demonstrating the use of Iris.

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)

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

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

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

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

An extended "Standard Library" for Coq. coqdoc(https://plv.mpi-sws.org/coqdoc/stdpp/)