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
  • Merge requests
  • Open 9
  • Merged 433
  • Closed 39
  • All 481
  • Define `Involutive` in terms of `Cancel`.
    !79 · created Jun 26, 2019 by Robbert Krebbers
    • Merged
    • 2
    updated Jun 26, 2019
  • Some list related lemmas
    !78 · created Jun 26, 2019 by Michael Sammler
    • Merged
    • 37
    updated Jul 04, 2019
  • some lemmas for seq and imap
    !77 · created Jun 26, 2019 by Michael Sammler
    • Merged
    • 27
    updated Jul 04, 2019
  • Added two proper instances with permutations
    !76 · created Jun 25, 2019 by Michael Sammler
    • Merged
    • 18
    updated Jun 26, 2019
  • make solve_ndisj more powerful
    !75 · created Jun 20, 2019 by Ralf Jung
    • Merged
    • 19
    updated Jun 20, 2019
  • show a Proper instance for dom
    !74 · created Jun 19, 2019 by Ralf Jung
    • Merged
    • 9
    updated Jun 20, 2019
  • add unfolding lemma for bool_decide: bool_decide_decide
    !73 · created Jun 18, 2019 by Ralf Jung
    • Merged
    • 1
    updated Jun 18, 2019
  • SeqZ Function
    !72 · created Jun 17, 2019 by Simon Spies
    • Merged
    • 64
    updated Mar 17, 2020
  • Some missing results about vectors.
    !71 · created Jun 14, 2019 by Robbert Krebbers
    • Merged
    • 2
    updated Jun 14, 2019
  • Strings are inhabited
    !70 · created May 17, 2019 by Paolo G. Giarrusso
    • Merged
    • 1
    updated May 17, 2019
  • Fix typo in instance name
    !69 · created May 17, 2019 by Paolo G. Giarrusso
    • Merged
    • 1
    updated May 17, 2019
  • Fix typo in doc
    !68 · created Apr 26, 2019 by Paolo G. Giarrusso
    • Merged
    • 1
    updated Apr 26, 2019
  • Binders library that's used in many Iris developments.
    !67 · created Apr 25, 2019 by Robbert Krebbers
    • Merged
    • 3
    updated Apr 25, 2019
  • Improve performance of `set_solver`
    !66 · created Apr 23, 2019 by Robbert Krebbers
    • Merged
    • 0
    updated May 25, 2021
  • gmultiset lemmas
    !65 · created Apr 16, 2019 by Dan Frumin
    • Merged
    • 27
    updated Apr 19, 2019
  • Add `map_delete_zip_with`
    !64 · created Mar 26, 2019 by Dan Frumin
    • Merged
    • 1
    updated Mar 26, 2019
  • More efficient list encoding for Countable
    !62 · created Mar 15, 2019 by Jakob Botsch Nielsen
    • Merged
    • 65
    updated Mar 16, 2019
  • move the (very brief) contribution guide to the README
    !60 · created Mar 14, 2019 by Ralf Jung
    • Merged
    • 1
    updated Mar 14, 2019
  • Make `gset` a `Definition` instead of `Notation`.
    !59 · created Mar 14, 2019 by Robbert Krebbers
    • Merged
    • 13
    updated Mar 14, 2019
  • Overhaul of the `Infinite`/`Fresh` infrastructure
    !58 · created Mar 01, 2019 by Robbert Krebbers
    • Merged
    • 30
    updated Mar 03, 2019
  • Prev
  • 1
  • …
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • Next