Skip to content
Snippets Groups Projects
Forked from Iris / Iris
5371 commits behind the upstream repository.
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.

CONTRIBUTING TO THE IRIS COQ DEVELOPMENT

Discussion about the Iris Coq development happens on the mailing list iris-club@lists.mpi-sws.org. This is also the right place to ask questions.

If you want to report a bug, please use the issue tracker. You will have to create an account at the MPI-SWS GitLab (use the "Register" tab).

To contribute code, please contact Ralf Jung to enable personal projects for your account. Then you can fork the Iris git repository, make your changes in your fork, and create a merge request.