Project 'tchajed/iris-coq' was moved to 'tchajed/iris'. Please update any links and bookmarks that may still have the old path.
-
Mohamed Alzayat authoredMohamed Alzayat authored
After you've reviewed these contribution guidelines, you'll be all set to
contribute to this project.