Skip to content
GitLab
Explore
Sign in
Iris
stdpp
Merge requests
Open
8
Merged
493
Closed
47
All
548
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
Add more lemmas for gmap uncurry
!9
· created
Oct 20, 2017
by
Hai Dang
Merged
9
updated
Oct 27, 2017
Add more properties of intersection_with for fin_maps
!7
· created
Oct 06, 2017
by
Hai Dang
Merged
1
updated
Oct 27, 2017
Add more typeclasses
!246
· created
Apr 15, 2021
by
Michael Sammler
Merged
4
updated
Apr 15, 2021
Add more underscores to f_equiv
!235
· created
Mar 15, 2021
by
Michael Sammler
Merged
5
updated
Mar 15, 2021
add Nat_iter_mul
!227
· created
Feb 09, 2021
by
Ralf Jung
Merged
1
updated
Feb 09, 2021
Add NoDup_bind, vec_enum, vec_finite (new version with proper branch)
!458
· created
Mar 24, 2023
by
Robbert Krebbers
Merged
1
updated
Apr 18, 2023
Add notation `wn` of weakly normalizing terms; and prove some common theorems about it.
!140
· created
Apr 07, 2020
by
Robbert Krebbers
Merged
12
updated
Apr 07, 2020
add odestruct and other "open term" tactics
!512
· created
Sep 27, 2023
by
Ralf Jung
Merged
59
updated
Oct 03, 2023
add pair_equiv
!490
· created
Jul 27, 2023
by
Ralf Jung
Merged
5
updated
Aug 03, 2023
Add Pigeon Hole principle.
!373
· created
Apr 11, 2022
by
Robbert Krebbers
Merged
7
updated
Apr 12, 2022
add pred_infinite_surj
!225
· created
Jan 29, 2021
by
Ralf Jung
Merged
7
updated
Mar 22, 2021
Add Qp lemmas
!187
· created
Oct 02, 2020
by
Simon Friis Vindum
Merged
14
updated
Oct 02, 2020
add rename-by-pattern tactic
!218
· created
Jan 20, 2021
by
Ralf Jung
Merged
5
updated
Jan 20, 2021
Add results about deleting and inserting filtered out elements
!46
· created
Dec 14, 2018
by
Michael Sammler
Merged
8
updated
Dec 16, 2018
Add reverse_lookup, reverse_lookup_Some and alternative version of sublist_lookup_Some
!338
· created
Nov 24, 2021
by
Michael Sammler
Merged
10
updated
Nov 24, 2021
Add scalar multiplication for multisets.
!452
· created
Mar 08, 2023
by
Robbert Krebbers
Merged
10
updated
Mar 19, 2023
add sed script for 1.3.0
!128
· created
Mar 19, 2020
by
Ralf Jung
Merged
10
updated
Apr 02, 2020
add set_map_union, set_map_singleton
!213
· created
Jan 12, 2021
by
Ralf Jung
Merged
5
updated
Jan 15, 2021
Add set_omap to finite sets
!456
· created
Mar 20, 2023
by
Dorian Lesbre
Merged
8
updated
Apr 18, 2023
Add set_unfold_list_bind (+ test)
!366
· created
Feb 20, 2022
by
Paolo G. Giarrusso
Merged
1
updated
Feb 20, 2022
Prev
1
…
3
4
5
6
7
8
9
10
11
…
25
Next