|
|
## Iris wiki: Table of Contents
|
|
|
|
|
|
* [List of Coq bugs affecting Iris development](coq-bugs)
|
|
|
* [Iris style guide](style-guide) (a work-in-progress document)
|
|
|
* [Iris contributing guide](contributing) (a work-in-progress document)
|
|
|
* [Pinned Iris package versions](Pinned-Iris-package-versions)
|
|
|
* [Release checklist](Creating-a-new-Iris-release) |
|
|
\ No newline at end of file |
|
|
See the sidebar on the right for the available wiki pages. |
|
|
\ No newline at end of file |