Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
A collection of Linux kernel configurations for LITMUS^RT kernels used at MPI-SWS (and previously at UNC).
Updated -
-
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
-
Test -- emp-sh2pc running with FerretCOT in malicious mode.
Updated -
Updated
-
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Updated -
An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode
Updated -
Some example verification demonstrating the use of Iris.
Updated -
-
The main Coq development of the Prosa project: http://prosa.mpi-sws.org
Updated -
-
Updated
-
-
Updated
-
-
Updated
-
-