Skip to content
GitLab
Explore
Sign in
Overview
Active
Stale
All
changelog-addition
951bd2eb
·
Update changelog for filter extensionality lemmas
·
Jun 28, 2021
iris/stdpp!290
extra-lemmas
e22e4a76
·
Add changelog entry and make small tweaks
·
Jun 25, 2021
iris/stdpp!284
master
default
protected
4492d5a5
·
Add a few lemmas
·
May 28, 2021
iris/stdpp!266
add-lemma
4f541628
·
Refactor proof of list_to_map_snoc
·
Nov 10, 2020
iris/stdpp!199
qp-lemmas
028eb93c
·
Remove Qp_not_plus_q_ge_1
·
Oct 02, 2020
iris/stdpp!187
set-seq-lemmas
5998dbf4
·
Add lemmas regarding set_seq
·
Nov 11, 2019
iris/stdpp!105
ci/robbert/cleanup
c6eed539
·
Name some anonymous instances.
·
Nov 06, 2019
ralf/reflexive
42d20911
·
experiment with restrict Hint Mode for Reflexive
·
May 29, 2019
robbert/set_unfold
ccfa0a08
·
Better SetUnfold.
·
Apr 23, 2019
robbert/tc_opaque
848e15e7
·
No more `Typeclasses Opaque` for `equiv`.
·
Apr 23, 2019
robbert/countable_list
40251b3d
·
More efficient `Countable` instance for list and make `namespaces` independent of that.
·
Mar 14, 2019
coq-stdpp-1.0
b8ffa59a
·
opam: fix uninstall
·
Feb 14, 2017
options
d730a337
·
Options file.
·
Feb 04, 2017