GitLab

Iris wiki: Table of Contents

• List of Coq bugs affecting Iris development
• Iris style guide (a work-in-progress document)
• Iris contributing guide (a work-in-progress document)
• Pinned Iris package versions