This is the repository containing a fork of Iris developed by Niklas Mück and Benjamin Peters as part of their "Research Immersion Lab" at UdS, supervised by Derek Dreyer.
You can find the corresponding project report [here](TODO).
Our fork of ReLoC can be found [here](https://gitlab.mpi-sws.org/NiklasM/reloc).
# IRIS COQ DEVELOPMENT [[coqdoc]](https://plv.mpi-sws.org/coqdoc/iris/)
This is the Coq development of the [Iris Project](http://iris-project.org),
