Discover projects, groups and snippets. Share your projects with others
The Coq development for Iris
The main Coq development.
An extended "Standard Library" for Coq. [coqdoc]
3D visualization of asynchronous program executions.
Helper functions for working with solutions for HJB equations.
A custom Akka dispatcher that logs and controls the delivery order of actor messages.
An extraction of the promising semantics
OLD VERSION, SEE https://gitlab.mpi-sws.org/iris/reloc INSTEAD
Logically Atomic Triples in Iris