Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 84
    • Issues 84
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 9
    • Merge requests 9
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • Iris
  • stdpp
  • Iris / stdpp
40 forks: 39 public, 0 internal, and 1 private
  • Gregory Malecha / stdpp

    Merge branch 'msammler/fix_imap_seq0' into 'master'
    0
    Updated Apr 11, 2022
    0 0 0 0
    Updated Apr 11, 2022
  • Armaël Guéneau / stdpp

    Merge branch 'robbert/vec_countable' into 'master'
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Jonas Kastberg / stdpp

    Merge branch 'map_fold_delete' into 'master'
    0
    Updated Sep 28, 2022
    0 0 0 0
    Updated Sep 28, 2022
  • Simon Friis Vindum / stdpp

    Add a few lemmas
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Paulo Emílio de Vilhena / stdpp

    CHANGELOG.
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Rodolphe Lepigre / stdpp

    Add `replicate_S_end`.
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Simon Spies / stdpp

    Merge branch 'master' of https://gitlab.mpi-sws.org/iris/stdpp
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Paolo G. Giarrusso / stdpp

    Simplify proof of `submseteq_app_inv_r`.
    0
    Updated Jun 03, 2023
    0 0 0
    Updated Jun 03, 2023
  • Jakob Botsch Nielsen / stdpp

    Merge branch 'ralf/readme' into 'master'
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Maxime Dénès / stdpp

    Merge branch 'robbert/bool_of_tc' into 'master'
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Tej Chajed / stdpp

    Versions of `elem_of_list_split` that give first or last element.
    0
    Updated Jun 01, 2023
    0 0 0 0
    Updated Jun 01, 2023
  • Michael Sammler / stdpp

    Add lemma `binder_delete_empty`.
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Marianna Rapoport / coq-stdpp

    mark Coq 8.9 as broken
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Janno / coq-stdpp

    Add `Countable` instance for `mapset`.
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • David Swasey / coq-stdpp

    Merge branch 'cogset' into 'master'
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Amin Timany / coq-stdpp

    use a section for local options
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Hai Dang / stdpp

    Lemma for `x ∈ _ ⊎ _` on multisets.
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Dan Frumin / coq-stdpp

    Get rid of the awk.Makefile references
    0
    Updated Aug 09, 2022
    0 0 0 1
    Updated Aug 09, 2022
  • Benoit Viguier / coq-stdpp

    Merge remote-tracking branch 'upstream/master'
    0
    Updated Dec 29, 2022
    0 0 0 0
    Updated Dec 29, 2022
  • Prev
  • 1
  • 2
  • Next