Iris / stdpp · GitLab

20 forks: 19 public, 0 internal, and 1 private

Jonas Kastberg / stdpp

Merge branch 'set-seq-lemmas' into 'master'

0 0 0 0

Updated Nov 14, 2019
Simon Friis Vindum / stdpp

also remove 8.9.0 from testing

0 0 0 0

Updated Nov 11, 2019
William Mansky / stdpp

Mentioned Windows line ending fix in README

0 0 0 0

Updated Oct 31, 2019
Pierre-Marie Pédrot / stdpp

Merge branch 'robbert/map_filter' into 'master'

0 0 0 0

Updated Sep 19, 2019
Paulo Emílio de Vilhena / stdpp

Add new lemmas for list, set, and map operations.

0 0 0 0

Updated Aug 14, 2019
Rodolphe Lepigre / stdpp

Add `replicate_S_end`.

0 0 0 0

Updated Aug 14, 2019
Simon Spies / stdpp

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

0 0 0 0

Updated Aug 20, 2019
Paolo G. Giarrusso / stdpp

Merge branch 'set-seq-lemmas' into 'master'

0 0 0 0

Updated Nov 21, 2019
Jakob Botsch Nielsen / stdpp

Merge branch 'ralf/readme' into 'master'

0 0 0 0

Updated Mar 16, 2019
Maxime Dénès / stdpp

Merge branch 'robbert/bool_of_tc' into 'master'

0 0 0 0

Updated Sep 05, 2019
Tej Chajed / stdpp

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

0 0 0 0

Updated Nov 01, 2019
Michael Sammler / stdpp

Merge branch 'ralf/empty' into 'master'

0 0 0 0

Updated Aug 29, 2019
Marianna Rapoport / coq-stdpp

mark Coq 8.9 as broken

0 0 0 0

Updated Jan 02, 2019
Janno / coq-stdpp

Add `Countable` instance for `mapset`.

0 0 0 0

Updated Jan 02, 2019
David Swasey / coq-stdpp

support Coq 8.8.2

0 0 0 0

Updated Jan 02, 2019
Amin Timany / coq-stdpp

use a section for local options

0 0 0 0

Updated Nov 01, 2019
Hai Dang / stdpp

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

0 0 0 0

Updated Feb 21, 2019
Dan Frumin / coq-stdpp

Get rid of the awk.Makefile references

0 0 0 0

Updated Dec 05, 2019
Benoit Viguier / coq-stdpp

Merge remote-tracking branch 'upstream/master'

0 0 0 0

Updated Jan 02, 2019