Commits on Source (142)
Showing
- .gitlab-ci.yml 12 additions, 6 deletions.gitlab-ci.yml
- CHANGELOG.md 183 additions, 0 deletionsCHANGELOG.md
- Makefile.coq.local 9 additions, 7 deletionsMakefile.coq.local
- README.md 1 addition, 1 deletionREADME.md
- _CoqProject 10 additions, 0 deletions_CoqProject
- coq-lint.sh 1 addition, 1 deletioncoq-lint.sh
- coq-stdpp.opam 1 addition, 1 deletioncoq-stdpp.opam
- dune 2 additions, 1 deletiondune
- stdpp/base.v 14 additions, 0 deletionsstdpp/base.v
- stdpp/boolset.v 18 additions, 1 deletionstdpp/boolset.v
- stdpp/countable.v 13 additions, 1 deletionstdpp/countable.v
- stdpp/fin_map_dom.v 23 additions, 0 deletionsstdpp/fin_map_dom.v
- stdpp/fin_maps.v 489 additions, 169 deletionsstdpp/fin_maps.v
- stdpp/fin_sets.v 108 additions, 14 deletionsstdpp/fin_sets.v
- stdpp/finite.v 11 additions, 11 deletionsstdpp/finite.v
- stdpp/gmap.v 97 additions, 46 deletionsstdpp/gmap.v
- stdpp/gmultiset.v 144 additions, 11 deletionsstdpp/gmultiset.v
- stdpp/infinite.v 2 additions, 2 deletionsstdpp/infinite.v
- stdpp/list.v 4 additions, 5417 deletionsstdpp/list.v
- stdpp/list_basics.v 1299 additions, 0 deletionsstdpp/list_basics.v
This diff is collapsed.
This diff is collapsed.
stdpp/list_basics.v
0 → 100644
This diff is collapsed.