Issues · Iris / stdpp · GitLab

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