Iris / stdpp · GitLab

35 forks: 33 public, 1 internal, and 1 private

Benoit Viguier / coq-stdpp

Merge remote-tracking branch 'upstream/master'

0 0 0 0

Updated Apr 19, 2022
Dan Frumin / coq-stdpp

Get rid of the awk.Makefile references

0 0 0 0

Updated Jun 20, 2022
Hai Dang / stdpp

Lemma for `x ∈ _ ⊎ _` on multisets.

0 0 0 0

Updated Sep 07, 2020
Amin Timany / coq-stdpp

use a section for local options

0 0 0 0

Updated Sep 07, 2020
David Swasey / coq-stdpp

Merge branch 'cogset' into 'master'

0 0 0 0

Updated Sep 07, 2020
Janno / coq-stdpp

Add `Countable` instance for `mapset`.

0 0 0 0

Updated Apr 29, 2022
Marianna Rapoport / coq-stdpp

mark Coq 8.9 as broken

0 0 0 0

Updated Sep 07, 2020
Michael Sammler / stdpp

Add lemma `binder_delete_empty`.

0 0 0 0

Updated Sep 07, 2020
Tej Chajed / stdpp

Versions of `elem_of_list_split` that give first or last element.

0 0 0 0

Updated Sep 07, 2020
Maxime Dénès / stdpp

Merge branch 'robbert/bool_of_tc' into 'master'

0 0 0 0

Updated Sep 07, 2020
Jakob Botsch Nielsen / stdpp

Merge branch 'ralf/readme' into 'master'

0 0 0 0

Updated Sep 07, 2020
Paolo G. Giarrusso / stdpp

Merge branch 'janno/fix-TargS-notation' into 'master'

0 0 0

Updated May 04, 2022
Simon Spies / stdpp

Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp

0 0 0 0

Updated Sep 07, 2020
Rodolphe Lepigre / stdpp

Add `replicate_S_end`.

0 0 0 0

Updated Sep 07, 2020
Paulo Emílio de Vilhena / stdpp

CHANGELOG.

0 0 0 0

Updated Sep 07, 2020
Simon Friis Vindum / stdpp

Add a few lemmas

0 0 0 0

Updated May 26, 2021
Jonas Kastberg / stdpp

Merge branch 'robbert/app_cons_eq_inv_lr' into 'master'

0 0 0 0

Updated Sep 07, 2020
Armaël Guéneau / stdpp

Merge branch 'robbert/vec_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
Olivier Laurent / stdpp

Merge branch 'ascii-countable' into 'master'

0 0 0 0

Updated Sep 07, 2020