Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 61
    • Issues 61
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 4
    • Merge requests 4
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • 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
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
  • Prev
  • 1
  • 2
  • Next