Skip to content
GitLab
Explore
Sign in
Iris
Iris
Merge requests
Open
0
Merged
14
Closed
4
All
18
Actions
Subscribe to RSS feed
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}}
{{title}}
Milestone due date
better support for view shift with mismatching masks
!527
· created
Oct 02, 2020
by
Ralf Jung
S-waiting-for-review
Closed
12
updated
Apr 29, 2021
Improve framing below modalities
!450
· created
May 25, 2020
by
Robbert Krebbers
S-waiting-for-review
Closed
5
updated
Sep 29, 2020
Add lemmas about local updates of lists
!371
· created
Feb 06, 2020
by
Dmitry Khalanskiy
S-waiting-for-review
Closed
70
updated
Mar 17, 2021
WIP: Make `[#]` produce goal with `<pers>` modality if premise is not persistent
!216
· created
Feb 17, 2019
by
Dan Frumin
S-waiting-for-review
Closed
15
updated
May 25, 2020