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
Release 1.9.0
!516
· created
Oct 04, 2023
by
Johannes Hostert
Merged
24
updated
Oct 11, 2023
remove 'wf' alias for the standard 'well_founded'
!524
· created
Oct 14, 2023
by
Ralf Jung
Merged
7
updated
Oct 14, 2023
Remove `:>>` subclass instance declarations
!104
· created
Nov 07, 2019
by
Robbert Krebbers
Merged
0
updated
Nov 07, 2019
Remove `left associativity` of `scalar_mult` to be compatible with math-comp.
!470
· created
Apr 28, 2023
by
Robbert Krebbers
Merged
0
updated
Apr 28, 2023
Remove `map` infix in lemmas about `dom` and `filter`.
!176
· created
Jul 16, 2020
by
Robbert Krebbers
Merged
1
updated
Jul 17, 2020
remove a Global Arguments Pos.of_nat from the middle of a proof
!350
· created
Dec 12, 2021
by
Ralf Jung
Merged
3
updated
Dec 13, 2021
Remove copyright headers, update LICENCE file.
!124
· created
Mar 13, 2020
by
Robbert Krebbers
Merged
3
updated
Mar 13, 2020
Remove curry/uncurry workaround for Coq ≤ 8.13.
!446
· created
Feb 13, 2023
by
Robbert Krebbers
Merged
1
updated
Feb 13, 2023
Remove dead type classes and notations.
!197
· created
Oct 28, 2020
by
Robbert Krebbers
Merged
1
5
updated
Oct 28, 2020
Remove duplicate `map_fmap_empty` of `fmap_empty`, and rename...
!205
· created
Jan 04, 2021
by
Robbert Krebbers
Merged
2
updated
Jan 07, 2021
Remove FIXME in `fin_map_dom`.
!483
· created
Jun 02, 2023
by
Robbert Krebbers
Merged
0
updated
Jun 02, 2023
Remove hint db and import of omega, since omega will be removed from Coq.
!216
· created
Jan 19, 2021
by
Robbert Krebbers
Merged
0
updated
Jan 19, 2021
Remove Import NPeano
!535
· created
Nov 15, 2023
by
Pierre Rousselin
Merged
8
updated
Nov 17, 2023
Remove Permutation Proper workaround that is not needed in Coq >= 8.15.
!486
· created
Jul 25, 2023
by
Robbert Krebbers
Merged
0
updated
Jul 25, 2023
Remove singleton notations for tuples
!233
· created
Mar 11, 2021
by
Robbert Krebbers
Merged
3
updated
Mar 12, 2021
remove some lemmas that exist in Coq's stdlib
!514
· created
Sep 28, 2023
by
Ralf Jung
Merged
1
updated
Sep 28, 2023
Remove the `default` notation for options
!31
· created
May 24, 2018
by
Ralf Jung
Merged
2
updated
May 28, 2018
Remove trailing whitespace
!133
· created
Mar 31, 2020
by
Michael Sammler
Merged
0
updated
Mar 31, 2020
Remove type scope from forall notation
!163
· created
May 27, 2020
by
Tej Chajed
Merged
1
updated
May 27, 2020
remove unused find_pat tactic
!219
· created
Jan 20, 2021
by
Ralf Jung
Merged
1
updated
Jan 20, 2021
Prev
1
…
16
17
18
19
20
21
22
23
24
25
Next