Skip to content
GitLab
Explore
Sign in
Iris
Iris
Wiki
Home
Home
· Changes
Page history
Add a contributing guide
authored
Nov 22, 2020
by
Tej Chajed
Show whitespace changes
Inline
Side-by-side
home.md
View page @
c57dba3c
...
...
@@ -2,3 +2,4 @@
*
[
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)