Explore projects

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

The main Coq development.

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

Axiomatic pWCET, formalized in Coq

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

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

The main Coq development.

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

Website for SOSP2021 (http://sosp2021.mpi-sws.org)

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

Java implementation of tracingplane and baggage

The main Coq development.

A fork of the Haskell Cabal repository that includes a change necessary for running the Class Struggle analysis, as part of Scott Kilpatrick's PhD thesis.