Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
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
13
Issues
13
List
Board
Labels
Milestones
Merge Requests
2
Merge Requests
2
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
Issues
Open
13
Closed
10
All
23
New issue
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
Created date
Priority
Created date
Last updated
Milestone due date
Due date
Popularity
Label priority
Generalize `gset_to_propset` to any `SemiSet`
0 of 1 task completed
#25
· opened
Feb 20, 2019
by
Robbert
0
updated
Feb 20, 2019
Please modify COQ_TEST in Makefile.coq.local to use `coqc` instead of coqtop.
#23
· opened
Nov 27, 2018
by
Emilio Jesús Gallego Arias
7
updated
Dec 19, 2018
More generic `FMap` type class that also supports collections
#21
· opened
Oct 04, 2018
by
Robbert
1
updated
Oct 04, 2018
What about `Universe Minimization ToSet`?
#19
· opened
Jun 09, 2018
by
Ralf Jung
1
updated
Jun 09, 2018
Rename multiset "union" into "sum"
#13
· opened
Apr 11, 2018
by
Robbert
2
updated
Apr 11, 2018
Notation for type class logic connectives as `TCAnd`, `TCOr`, ...
#11
· opened
Feb 08, 2018
by
Robbert
22
updated
Feb 20, 2018
Inconsistent `RewriteRelation` instances
#10
· opened
Jan 10, 2018
by
Robbert
1
updated
Jan 12, 2018
Provide some form of web doc
#9
· opened
Dec 07, 2017
by
Ralf Jung
13
updated
Nov 22, 2018
`f_equiv` with different functions in head position produces a Leibniz equality
#8
· opened
Dec 01, 2017
by
Robbert
0
updated
Dec 01, 2017
Improve support of simplify_option_eq (and simplify_map_eq?) for setoids
#7
· opened
Nov 13, 2017
by
Robbert
0
updated
Nov 13, 2017
`done` loops because it repeatedly applies `split`
#6
· opened
Oct 31, 2017
by
Robbert
1
updated
Nov 01, 2017
Something in std++ enables implicit generalization of instances
#5
· opened
Oct 27, 2017
by
Ralf Jung
14
updated
Nov 14, 2017
Big ops and lattices in stdpp?
#2
· opened
Oct 10, 2017
by
Hai Dang
1
2
updated
Feb 17, 2019