Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
S
stdpp
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
21
Issues
21
List
Boards
Labels
Milestones
Merge Requests
1
Merge Requests
1
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Iris
stdpp
Merge Requests
Open
1
Merged
97
Closed
7
All
105
Recent searches
Press Enter or click to search
{{hint}}
{{tag}}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
Popularity
Priority
Created date
Last updated
Milestone due date
Popularity
Label priority
More lemmas for `filter` w.r.t. maps
!96
· opened
Sep 11, 2019
by
Robbert
MERGED
1
2
updated
Sep 12, 2019
Additionally lemmas for insert, nth, take, and list_find
!55
· opened
Feb 08, 2019
by
Hai Dang
MERGED
1
15
updated
Feb 21, 2019
Opaquify proofs in gmap_partial_alter (fix #46)
!106
· opened
Nov 20, 2019
by
Paolo G. Giarrusso
MERGED
16
updated
Nov 22, 2019
Add lemmas regarding set_seq
!105
· opened
Nov 11, 2019
by
Simon Friis Vindum
MERGED
20
updated
Nov 11, 2019
Remove `:>>` subclass instance declarations
!104
· opened
Nov 07, 2019
by
Robbert
MERGED
0
updated
Nov 07, 2019
Update gitignore for compatibility with Coq master
!103
· opened
Nov 01, 2019
by
Tej Chajed
MERGED
1
updated
Nov 02, 2019
Add congruence lemmas for closures
!102
· opened
Nov 01, 2019
by
Amin Timany
MERGED
0
updated
Nov 01, 2019
Add two useful lemmas
!101
· opened
Oct 31, 2019
by
Amin Timany
MERGED
5
updated
Nov 01, 2019
Mentioned Windows line ending fix in README
!100
· opened
Oct 31, 2019
by
William Mansky
MERGED
6
updated
Oct 31, 2019
Generalize `list_find` lemmas to become bi-implications.
!99
· opened
Oct 01, 2019
by
Robbert
MERGED
0
updated
Oct 07, 2019
Fix w.r.t. coq/coq#10764.
!98
· opened
Sep 19, 2019
by
Pierre-Marie Pédrot
MERGED
2
updated
Sep 19, 2019
WIP: LookupTotal
1 of 2 tasks completed
!97
· opened
Sep 16, 2019
by
Dan Frumin
28
updated
Dec 09, 2019
Fix Open/Close scope
!94
· opened
Sep 11, 2019
by
Jacques-Henri Jourdan
MERGED
3
updated
Sep 11, 2019
Disambiguate Haskell-style notations for partially applied operators
!93
· opened
Sep 08, 2019
by
Robbert
MERGED
8
updated
Oct 13, 2019
Avoid relying on `Export` bugs
!92
· opened
Sep 05, 2019
by
Maxime Dénès
CLOSED
3
updated
Sep 05, 2019
Lemmas for fin_maps
!91
· opened
Aug 27, 2019
by
Michael Sammler
MERGED
19
updated
Aug 29, 2019
more instances for the empty type
!90
· opened
Aug 26, 2019
by
Ralf Jung
MERGED
1
updated
Aug 26, 2019
add Equiv instance for Empty_set
!89
· opened
Aug 26, 2019
by
Ralf Jung
MERGED
4
updated
Aug 26, 2019
Add `map_zip_with_flip`.
!88
· opened
Aug 23, 2019
by
Dan Frumin
MERGED
7
updated
Aug 24, 2019
relations.nsteps: add inversion lemma for `nsteps R 1 a b`
!87
· opened
Aug 21, 2019
by
Paolo G. Giarrusso
MERGED
8
updated
Aug 23, 2019
Prev
1
2
3
4
5
…
Next
Last »