Skip to content
GitLab
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 81
    • Issues 81
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 10
    • Merge requests 10
  • 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 10
  • Merged 409
  • Closed 37
  • All 456
Subscribe to RSS feed
  • solve_ndisj: solve more goals involving chains of differences
    !300 · created Jul 21, 2021 by Ralf Jung
    • MERGED
    • 10
    updated Jul 21, 2021
  • alternative implementation of mk_evar that keeps naive_solver working
    !299 · created Jul 17, 2021 by Ralf Jung
    • MERGED
    • 11
    updated Jul 21, 2021
  • Mark gset methods as simpl never to stop `cbn` from unfolding them
    !298 · created Jul 17, 2021 by Paolo G. Giarrusso   S-waiting-for-author
    • MERGED
    • 16
    updated Jul 28, 2021
  • Swap `curry` and `uncurry` to be consistent with Haskell and friends.
    !297 · created Jul 16, 2021 by Robbert Krebbers
    • MERGED
    • 13
    updated Jul 20, 2021
  • Do not call `done` recursively when solving `is_Some`.
    !296 · created Jul 15, 2021 by Robbert Krebbers
    • MERGED
    • 7
    updated Jul 15, 2021
  • handle more goals in solve_ndisj
    !294 · created Jul 08, 2021 by Ralf Jung
    • MERGED
    • 14
    updated Jul 19, 2021
  • Make `done` work on `is_Some`.
    !293 · created Jul 03, 2021 by Robbert Krebbers
    • MERGED
    • 3
    updated Jul 15, 2021
  • add lookup_union_l
    !292 · created Jul 03, 2021 by Ralf Jung
    • MERGED
    • 3
    updated Jul 03, 2021
  • Fix priority of `Permutation_app'`.
    !291 · created Jun 29, 2021 by Robbert Krebbers
    • MERGED
    • 17
    updated Jul 15, 2021
  • Update changelog for filter extensionality lemmas
    !290 · created Jun 28, 2021 by Simon Friis Vindum
    • MERGED
    • 3
    updated Jun 28, 2021
  • add mk_evar tactic (to replace Coq's strange evar tactic) and use it
    !289 · created Jun 27, 2021 by Ralf Jung
    • MERGED
    • 21
    updated Jul 16, 2021
  • 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
  • Prev
  • 1
  • …
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • …
  • 21
  • Next