Skip to content
GitLab
Explore
Sign in
Open
10
Merged
520
Closed
48
All
578
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Popularity
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
add exact_vm_cast
!28
· created
Mar 01, 2018
by
Ralf Jung
Closed
5
updated
Mar 01, 2018
Reserve more notation in `integers.v`.
!22
· created
Nov 29, 2017
by
David Swasey
Closed
3
updated
Jun 20, 2018
Resolve "Disjoint uses ⊥ (U+22A5 -- UP TACK) but should use ⟂ (U+27C2 -- PERPENDICULAR)"
!11
· created
Oct 27, 2017
by
Jacques-Henri Jourdan
Closed
updated
Oct 27, 2017
Add filter for gmap
!6
· created
Sep 28, 2017
by
Hai Dang
Closed
13
updated
Oct 27, 2017
Introduce `set_bind` and associated lemmas.
!383
· created
May 30, 2022
by
Dan Frumin
Closed
24
1
updated
Aug 09, 2022
Generalize (e)feed pose proof to intro patterns
!118
· created
Feb 25, 2020
by
Paolo G. Giarrusso
Closed
3
1
updated
Mar 05, 2020
Prev
1
2
3
Next