Skip to content
GitLab
Explore
Sign in
Iris
Iris
Wiki
Home
Home
· Changes
Page history
Add an initial style guide
authored
Nov 22, 2020
by
Tej Chajed
Hide whitespace changes
Inline
Side-by-side
home.md
View page @
3b0ac044
## Iris wiki: Table of Contents
*
[
List of Coq bugs affecting Iris development
](
coq-bugs
)
\ No newline at end of file
*
[
List of Coq bugs affecting Iris development
](
coq-bugs
)
*
[
Iris style guide
](
style-guide
)
(
a
work-in-progress document)