Iris / stdpp · GitLab

36 forks: 35 public, 0 internal, and 1 private

Vincent / stdpp

.gitignore for packages

0 0 0 0

Updated Aug 12, 2022
Ralf Jung / stdpp

fix CI job name

0 0 0 1

Updated Sep 24, 2022
Léo Stefanesco / stdpp

Merge branch 'robbert/injection_gset_dom' into 'master'

0 0 0 0

Updated Mar 16, 2022
Glen Mével / stdpp

Merge branch 'robbert/destruct_select' into 'master'

0 0 0 0

Updated Nov 24, 2021
Abhishek Anand / stdpp

Merge branch 'ralf/lookup_union_l' into 'master'

0 0 0 0

Updated Jul 14, 2021
Jan / stdpp

renamed list because l and 1 were indistinguishable

0 0 0 0

Updated Jun 07, 2021
Matthieu Sozeau / stdpp

Merge branch 'robbert/hintmode' into 'master'

0 0 0 0

Updated Jun 04, 2021
Simon Gregersen / stdpp

add Countable instance for decidable Sigma types

0 0 0 0

Updated Apr 24, 2021
Andrej Dudenhefner / stdpp

Add TODO about `Z_mod_nonneg_nonneg`.

0 0 0 0

Updated Jul 07, 2022
Lennard Gäher / stdpp

Merge branch 'msammler/f_equiv5' into 'master'

0 0 0 0

Updated Aug 17, 2022
Emanuele D'Osualdo / stdpp

update Makefile

0 0 0 0

Updated Nov 10, 2020
Arthur Azevedo de Amorim / stdpp

Merge branch 'strict-bulleting' into 'master'

0 0 0 0

Updated Sep 17, 2020
Hugo Herbelin / stdpp

Merge branch 'ci/ralf/mangle' into 'master'

0 0 0 0

Updated Aug 31, 2020
Alix Trieu / stdpp

Merge branch 'clarify-which-bsd' into 'master'

0 0 0 0

Updated Jul 13, 2020
sarahzrf / stdpp

Minor style tweaks

0 0 0 0

Updated Jun 12, 2020
Olivier Laurent / stdpp

Merge branch 'ascii-countable' into 'master'

0 0 0 0

Updated Sep 07, 2020
Gregory Malecha / stdpp

Merge branch 'msammler/fix_imap_seq0' into 'master'

0 0 0 0

Updated Apr 11, 2022
Armaël Guéneau / stdpp

Merge branch 'robbert/vec_countable' into 'master'

0 0 0 0

Updated Sep 07, 2020
Jonas Kastberg / stdpp

remove a useless auto

0 0 0 0

Updated Sep 22, 2022
Simon Friis Vindum / stdpp

Add a few lemmas

0 0 0 0

Updated May 26, 2021