Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Open sidebar
Iris
Iris
Issues
Open
13
Closed
9
All
22
New issue
Recent searches
{{formattedKey}}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Manual
Integrate Tej's simp-lang?
#400
· created
Jan 28, 2021
by
Ralf Jung
A-docs
T-program_logic
5
updated
Feb 17, 2021
Document relation between Discrete and Timeless (in appendix?)
#394
· created
Dec 23, 2020
by
Paolo G. Giarrusso
A-docs
T-algebra
T-base_logic
0
updated
Jan 06, 2021
Citation guide
#389
· created
Dec 06, 2020
by
Tej Chajed
A-docs
1
updated
Dec 08, 2020
Make sealing consistent and document it
#379
· created
Nov 10, 2020
by
Ralf Jung
A-coq
A-docs
C-enhancement
T-style
0
updated
Nov 10, 2020
Document HeapLang
#369
· created
Oct 30, 2020
by
Ralf Jung
A-docs
C-enhancement
T-heap_lang
0
updated
Oct 30, 2020
iris.sty incompatible with acmart
#335
· created
Jul 14, 2020
by
Ralf Jung
A-docs
C-bug
6
updated
Jul 15, 2020
Documentation for installation on Windows
#289
· created
Feb 06, 2020
by
Ralf Jung
A-docs
C-enhancement
0
updated
Feb 06, 2020
Documentation for installation on OS X
#280
· created
Dec 16, 2019
by
Jules Jacobs
A-docs
C-enhancement
1
8
updated
Feb 06, 2020
Create example user library and document library best practices
#276
· created
Dec 02, 2019
by
Robbert Krebbers
A-docs
C-enhancement
T-style
1
2
updated
Sep 29, 2020
Documentation for the algebra folder
#235
· created
Mar 30, 2019
by
Robbert Krebbers
A-docs
C-enhancement
T-algebra
2
1
updated
Nov 01, 2019
Better names and documentation for proof mode typeclasses
#139
· created
Jan 18, 2018
by
Ralf Jung
A-docs
C-enhancement
T-proofmode
8
updated
Nov 23, 2020
Document language interface
#134
· created
Jan 13, 2018
by
Robbert Krebbers
A-docs
C-enhancement
T-program_logic
3
updated
Nov 01, 2019
Document variable naming conventions
2 of 4 tasks completed
#16
· created
Mar 22, 2016
by
Ralf Jung
A-docs
C-enhancement
T-style
3
updated
Nov 01, 2019