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
Added TCForall2_Forall2 lemma
!107
· created
Jan 30, 2020
by
Michael Sammler
Merged
4
updated
Jan 30, 2020
Added some useful lemmas for the [last] function
!355
· created
Jan 11, 2022
by
Jonas Kastberg
Merged
Approved
8
updated
Jan 12, 2022
Added some useful lemmas about [list_subseteq]
!359
· created
Jan 12, 2022
by
Jonas Kastberg
Merged
6
updated
Jan 14, 2022
Added sig_finite (and elem_of_list_fmap_inj, proj1_inj_pi)
!164
· created
Jun 12, 2020
by
sarahzrf
Merged
1
10
updated
Jun 18, 2020
Added set lemmas about difference and union
!386
· created
Jul 13, 2022
by
Jonas Kastberg
Merged
30
updated
Sep 29, 2022
Added select and select_revert tactics
2 of 2 checklist items completed
!142
· created
Apr 09, 2020
by
Michael Sammler
Merged
48
updated
Jan 20, 2021
add {fst,snd}_map_zip
!285
· created
Jun 23, 2021
by
Ralf Jung
Merged
3
updated
Jun 27, 2021
add zip_with_diag and zip_diag
!215
· created
Jan 19, 2021
by
Ralf Jung
Merged
1
updated
Jan 19, 2021
add version of Qp_lower_bound that returns less-than facts
!186
· created
Oct 01, 2020
by
Ralf Jung
Merged
1
updated
Oct 01, 2020
add unfolding lemma for bool_decide: bool_decide_decide
!73
· created
Jun 18, 2019
by
Ralf Jung
Merged
1
updated
Jun 18, 2019
Add two useful lemmas
!101
· created
Oct 31, 2019
by
Amin Timany
Merged
5
updated
Nov 01, 2019
Add tests for equiv notation
!143
· created
Apr 09, 2020
by
Paolo G. Giarrusso
Merged
2
updated
Apr 10, 2020
add telescopic versions of the Coq quantifiers
!34
· created
Jun 09, 2018
by
Ralf Jung
Merged
24
updated
Jun 09, 2018
add telescopes and a bit of theory about them
!33
· created
Jun 05, 2018
by
Ralf Jung
Merged
54
updated
Jun 06, 2018
add target html and gallinahtml
!2
· created
Feb 17, 2017
by
Benoit Viguier
Merged
4
updated
Feb 23, 2017
Add tactics `destruct select <pat>` and `destruct select <pat> as <intro_pat>`.
!352
· created
Dec 16, 2021
by
Robbert Krebbers
Merged
1
updated
Dec 16, 2021
add tactic for solving computable goals
!261
· created
May 03, 2021
by
Ralf Jung
Merged
17
updated
May 18, 2021
Add tactic `tc_solve`.
!425
· created
Nov 24, 2022
by
Robbert Krebbers
Merged
3
updated
Nov 30, 2022
Add tactic `learn_hyp`, fixes #73
!247
· created
Apr 15, 2021
by
Michael Sammler
Merged
6
updated
Apr 19, 2021
Add ssreflect file (from Iris).
!471
· created
Apr 28, 2023
by
Robbert Krebbers
Merged
3
updated
Jul 26, 2023
Prev
1
…
13
14
15
16
17
18
19
20
21
…
25
Next