Skip to content
GitLab
Explore
Sign in
54 forks: 51 public, 1 internal, and 2 private
Created date
Jakob Botsch Nielsen /
stdpp
Merge branch 'ralf/readme' into 'master'
0
Updated
Mar 16, 2019
0
0
0
0
Updated
Mar 16, 2019
Maxime Dénès /
stdpp
Merge branch 'robbert/bool_of_tc' into 'master'
0
Updated
Sep 05, 2019
0
0
0
0
Updated
Sep 05, 2019
Tej Chajed /
stdpp
Versions of `elem_of_list_split` that give first or last element.
0
Updated
Jun 01, 2023
0
0
0
0
Updated
Jun 01, 2023
Michael Sammler /
stdpp
Add lemma `binder_delete_empty`.
0
Updated
Jan 30, 2020
0
0
0
0
Updated
Jan 30, 2020
Marianna Rapoport /
coq-stdpp
mark Coq 8.9 as broken
0
Updated
Jul 23, 2018
0
0
0
0
Updated
Jul 23, 2018
Janno /
coq-stdpp
Add `Countable` instance for `mapset`.
0
Updated
Apr 29, 2022
0
0
0
0
Updated
Apr 29, 2022
David Swasey /
coq-stdpp
Merge branch 'cogset' into 'master'
0
Updated
Feb 23, 2020
0
0
0
0
Updated
Feb 23, 2020
Amin Timany /
coq-stdpp
Merge branch 'ralf/filter_dom' into 'master'
0
Updated
Jul 19, 2023
0
0
0
0
Updated
Jul 19, 2023
Hai Dang /
stdpp
Lemma for `x ∈ _ ⊎ _` on multisets.
0
Updated
Feb 21, 2019
0
0
0
0
Updated
Feb 21, 2019
Dan Frumin /
coq-stdpp
Get rid of the awk.Makefile references
0
Updated
Aug 09, 2022
0
0
0
1
Updated
Aug 09, 2022
Benoit Viguier /
coq-stdpp
Merge remote-tracking branch 'upstream/master'
0
Updated
Apr 19, 2022
0
0
0
0
Updated
Apr 19, 2022
Prev
1
2
3
Next
