Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in
  • S stdpp
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 86
    • Issues 86
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 9
    • Merge requests 9
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Artifacts
    • Schedules
  • Deployments
    • Deployments
    • Releases
  • Packages and registries
    • Packages and registries
    • Model experiments
  • 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 478
  • Closed 46
  • All 533

  • Subscribe to RSS feed
  • Make sum_inhabited_r not a copy of sum_inhabited_l
    !288 · created Jun 27, 2021 by Paolo G. Giarrusso
    • Merged
    • 8
    updated Jun 27, 2021
  • rename insert_delete → insert_delete_insert; add new insert_delete matching delete_insert
    !287 · created Jun 24, 2021 by Ralf Jung
    • Merged
    • 8
    updated Jun 26, 2021
  • Fix potential stack overflow related to `Pretty N`.
    !286 · created Jun 24, 2021 by Robbert Krebbers
    • Merged
    • 8
    updated Jun 25, 2021
  • add {fst,snd}_map_zip
    !285 · created Jun 23, 2021 by Ralf Jung
    • Merged
    • 3
    updated Jun 27, 2021
  • Add a few set and map related lemmas   1 of 1 checklist item completed
    !284 · created Jun 19, 2021 by Simon Friis Vindum
    • Merged
    • 17
    updated Jun 25, 2021
  • Rewrite cross split lemmas so they can more easily be used for forward reasoning.
    !283 · created Jun 18, 2021 by Robbert Krebbers
    • Merged
    • 4
    updated Jun 18, 2021
  • Add lemmas `map_intersection_filter` and `map_difference_filter`.
    !282 · created Jun 17, 2021 by Robbert Krebbers
    • Merged
    • 2
    updated Jun 17, 2021
  • Various setoids lemmas for maps, lists, and option
    !281 · created Jun 15, 2021 by Robbert Krebbers
    • Merged
    • 10
    updated Jun 17, 2021
  • Misc lemmas for maps
    !280 · created Jun 15, 2021 by Robbert Krebbers
    • Merged
    • 1
    updated Jun 25, 2021
  • Drop `DiagNone` precondition of `lookup_merge` rule of `FinMap` interface.
    !279 · created Jun 10, 2021 by Robbert Krebbers
    • Merged
    • 4
    updated Jun 11, 2021
  • Prove more equivalences for closure operators on relations.
    !278 · created Jun 10, 2021 by Robbert Krebbers
    • Merged
    • 14
    updated Jun 16, 2021
  • Misc improvements to `head` and `tail` functions for lists
    !277 · created Jun 10, 2021 by Robbert Krebbers
    • Merged
    • 12
    updated Jun 11, 2021
  • Misc setoids lemmas and tweaks for maps and option
    !276 · created Jun 08, 2021 by Robbert Krebbers
    • Merged
    • 14
    updated Aug 10, 2022
  • sum_list_with_in
    !275 · created Jun 07, 2021 by Jan
    • Merged
    • 8
    updated Jun 07, 2021
  • Make filter lemmas for maps and sets consistent + add cross split property for maps
    !274 · created Jun 06, 2021 by Robbert Krebbers
    • Merged
    • 18
    updated Jun 08, 2021
  • Declare `equiv` as a rightful rewrite relation, when an `Equiv` instance is available.
    !273 · created Jun 04, 2021 by Matthieu Sozeau
    • Merged
    • 35
    updated Jan 12, 2022
  • More missing `Hint Mode`s.
    !271 · created Jun 03, 2021 by Robbert Krebbers
    • Merged
    • 7
    updated Jun 06, 2021
  • Various improvements to `Permutation` lemmas and instances
    !270 · created Jun 01, 2021 by Robbert Krebbers
    • Merged
    • 5
    updated Jun 29, 2021
  • Strengthen `map_filter_strong_ext` and `map_filter_ext`.
    !269 · created May 29, 2021 by Dan Frumin
    • Merged
    • 8
    updated Jun 28, 2021
  • Comment about `EqDecision` in `Countable`.
    !268 · created May 28, 2021 by Robbert Krebbers
    • Merged
    • 3
    updated May 31, 2021
  • Prev
  • 1
  • …
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • …
  • 24
  • Next