Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Iris
stdpp
Merge requests
Open
9
Merged
478
Closed
46
All
533
Actions
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}}
Updated date
Add a .editorconfig file
!63
· created
Mar 15, 2019
by
Jakob Botsch Nielsen
Closed
9
updated
Mar 22, 2019
More efficient `Countable` instance for list and make `namespaces` independent of that.
!61
· created
Mar 14, 2019
by
Robbert Krebbers
Closed
14
updated
Mar 15, 2019
Reserve more notation in `integers.v`.
!22
· created
Nov 29, 2017
by
David Swasey
Closed
3
updated
Jun 20, 2018
add exact_vm_cast
!28
· created
Mar 01, 2018
by
Ralf Jung
Closed
5
updated
Mar 01, 2018
Add filter for gmap
!6
· created
Sep 28, 2017
by
Hai Dang
Closed
13
updated
Oct 27, 2017
Resolve "Disjoint uses ⊥ (U+22A5 -- UP TACK) but should use ⟂ (U+27C2 -- PERPENDICULAR)"
!11
· created
Oct 27, 2017
by
Jacques-Henri Jourdan
Closed
0
updated
Oct 27, 2017
Prev
1
2
3
Next