Skip to content
GitLab
Explore
Sign in
Paolo G. Giarrusso
stdpp
Repository
Branches
Overview
Active
Stale
All
basic-dune
72515cfb
·
dune build scripts
·
Jun 03, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
592f728f
·
Merge branch 'ralf/filter_dom' into 'master'
·
Jun 02, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
mode-equiv
13fdba84
·
Enable `Hint Mode Equiv` now that stdpp requires Coq 8.12
·
Dec 16, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
fix-finite-countable
d9d3595f
·
Prevent [finite_countable] from solving unrelated evars
·
Nov 24, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
eta-expand-list
0a215703
·
WIP eta-expanding template-polymorphic type constructors
·
Jan 13, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
map-lemmas
4f613674
·
Add missing companions to `map_positive_l`
·
May 07, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
add-dune
c745b4a6
·
Add dune configuration for non-standalone building
·
May 07, 2021
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
drop-gmultiset_simple_set
49b4ef39
·
(Test) Drop misleading gmultiset_simple_set instance
·
Oct 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
make-countables-defined
fb7fdc84
·
Ensure all `Countable` instance reduce
·
Jul 10, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
notc-search
39c13724
·
Add a way to disable typeclass search.
·
Apr 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
gen-efeed
d1ed4016
·
Generalize (e)feed pose proof to intro patterns
·
Feb 26, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
options
d730a337
·
Options file.
·
Feb 04, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar