Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
Iris
Iris
Merge requests
Open
0
Merged
13
Closed
4
All
17
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}}
Updated 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
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
Improve framing below modalities
!450
· created
May 25, 2020
by
Robbert Krebbers
S-waiting-for-review
CLOSED
5
updated
Sep 29, 2020
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
