Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Merge requests
Open
9
Merged
493
Closed
47
All
549
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}}
Title
Multiset set notation
2 of 2 checklist items completed
!232
· created
Mar 11, 2021
by
Robbert Krebbers
Closed
18
updated
Apr 20, 2021
move the (very brief) contribution guide to the README
!60
· created
Mar 14, 2019
by
Ralf Jung
Merged
1
updated
Mar 14, 2019
move coPset-generic hint to coPset.v
!112
· created
Feb 19, 2020
by
Ralf Jung
Merged
6
updated
Feb 19, 2020
More missing `Hint Mode`s.
!271
· created
Jun 03, 2021
by
Robbert Krebbers
Merged
7
updated
Jun 06, 2021
More lemmas for list's prefix_of and suffix_of
!239
· created
Mar 31, 2021
by
Hai Dang
Merged
14
updated
Apr 15, 2021
More lemmas for `filter` w.r.t. maps
!96
· created
Sep 11, 2019
by
Robbert Krebbers
Merged
1
2
updated
Sep 12, 2019
More lemmas about [map_imap].
!84
· created
Jul 15, 2019
by
Rodolphe Lepigre
Merged
19
updated
Aug 13, 2019
more instances for the empty type
!90
· created
Aug 26, 2019
by
Ralf Jung
Merged
1
updated
Aug 26, 2019
More efficient list encoding for Countable
!62
· created
Mar 15, 2019
by
Jakob Botsch Nielsen
Merged
65
updated
Mar 16, 2019
More efficient `encode`/`decode` for `string`/`ascii`
!502
· created
Sep 05, 2023
by
Robbert Krebbers
Merged
14
updated
Sep 05, 2023
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
More canonical maps
!461
· created
Apr 18, 2023
by
Robbert Krebbers
Merged
1
24
updated
May 04, 2023
Missing `Params` instances for `prod_map` and `prod_zip`.
!528
· created
Oct 14, 2023
by
Robbert Krebbers
Merged
0
updated
Oct 14, 2023
miscellaneous map lemmas
!442
· created
Jan 10, 2023
by
Ralf Jung
Merged
18
updated
Mar 24, 2023
Misc setoids lemmas and tweaks for maps and option
!276
· created
Jun 08, 2021
by
Robbert Krebbers
Merged
14
updated
Aug 10, 2022
Misc lemmas for maps
!280
· created
Jun 15, 2021
by
Robbert Krebbers
Merged
1
updated
Jun 25, 2021
Misc improvements to `head` and `tail` functions for lists
!277
· created
Jun 10, 2021
by
Robbert Krebbers
Merged
12
updated
Jun 11, 2021
Minor documentation fixes
!14
· created
Oct 31, 2017
by
Ghost User
Merged
1
updated
Oct 31, 2017
Mark set_size and set_fold as TC opaque
!329
· created
Oct 05, 2021
by
Paolo G. Giarrusso
Merged
5
updated
Oct 26, 2021
Mark gset methods as simpl never to stop `cbn` from unfolding them
!298
· created
Jul 17, 2021
by
Paolo G. Giarrusso
S-waiting-for-author
Merged
16
updated
Jul 28, 2021
Prev
1
…
5
6
7
8
9
10
11
12
13
…
28
Next