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 85
    • Issues 85
    • 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
  • Add lemmas that say that `curry{3,4}?` and `uncurry{3,4}?` are inverses.
    !304 · created Jul 24, 2021 by Robbert Krebbers
    • Merged
    • 0
    updated Jul 24, 2021
  • solve_ndisj: handle goals containing _ ∖ _ ∖ _
    !303 · created Jul 22, 2021 by Ralf Jung
    • Merged
    • 1
    updated Jul 23, 2021
  • `Params` and `Proper` instances for `curry` and friends
    !302 · created Jul 21, 2021 by Robbert Krebbers
    • Merged
    • 8
    updated Jul 21, 2021
  • rename map_union_subseteq_l_alt → map_union_subseteq_l' (and likewise for _r)
    !301 · created Jul 21, 2021 by Ralf Jung
    • Merged
    • 2
    updated Jul 21, 2021
  • 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
  • Prev
  • 1
  • …
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • …
  • 22
  • Next