Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
S
stdpp
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 52
    • Issues 52
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 1
    • Merge Requests 1
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Iris
  • stdpp
  • Merge Requests

  • Open 1
  • Merged 204
  • Closed 23
  • All 228
  • Priority Created date Last updated Milestone due date Popularity Label priority
  • more instances for the empty type
    !90 · opened Aug 26, 2019 by Ralf Jung
    • MERGED
    • 1
    updated Aug 26, 2019
  • add Equiv instance for Empty_set
    !89 · opened Aug 26, 2019 by Ralf Jung
    • MERGED
    • 4
    updated Aug 26, 2019
  • Add `map_zip_with_flip`.
    !88 · opened Aug 23, 2019 by Dan Frumin
    • MERGED
    • 7
    updated Aug 24, 2019
  • relations.nsteps: add inversion lemma for `nsteps R 1 a b`
    !87 · opened Aug 21, 2019 by Paolo G. Giarrusso
    • MERGED
    • 8
    updated Aug 23, 2019
  • std++ 1.2.1 release notes
    !86 · opened Aug 07, 2019 by Ralf Jung
    • MERGED
    • 0
    updated Aug 13, 2019
  • Several simple lemmas.
    !85 · opened Jul 22, 2019 by Paulo Emílio de Vilhena
    • MERGED
    • 28
    updated Aug 14, 2019
  • More lemmas about [map_imap].
    !84 · opened Jul 15, 2019 by Rodolphe Lepigre
    • MERGED
    • 19
    updated Aug 13, 2019
  • Proofs about binders
    !83 · opened Jul 15, 2019 by Michael Sammler
    • MERGED
    • 14
    updated Aug 27, 2019
  • some list lemmas
    !82 · opened Jul 07, 2019 by Ralf Jung
    • MERGED
    • 17
    updated Jul 13, 2019
  • add inverses of bool_decide_{true,false}
    !81 · opened Jun 29, 2019 by Ralf Jung
    • MERGED
    • 19
    updated Jul 13, 2019
  • Perform `fast_done` first in `naive_solver`.
    !80 · opened Jun 26, 2019 by Robbert Krebbers
    • MERGED
    • 1
    updated Jun 27, 2019
  • Define `Involutive` in terms of `Cancel`.
    !79 · opened Jun 26, 2019 by Robbert Krebbers
    • MERGED
    • 2
    updated Jun 26, 2019
  • Some list related lemmas
    !78 · opened Jun 26, 2019 by Michael Sammler
    • MERGED
    • 37
    updated Jul 04, 2019
  • some lemmas for seq and imap
    !77 · opened Jun 26, 2019 by Michael Sammler
    • MERGED
    • 27
    updated Jul 04, 2019
  • Added two proper instances with permutations
    !76 · opened Jun 25, 2019 by Michael Sammler
    • MERGED
    • 18
    updated Jun 26, 2019
  • make solve_ndisj more powerful
    !75 · opened Jun 20, 2019 by Ralf Jung
    • MERGED
    • 19
    updated Jun 20, 2019
  • show a Proper instance for dom
    !74 · opened Jun 19, 2019 by Ralf Jung
    • MERGED
    • 9
    updated Jun 20, 2019
  • add unfolding lemma for bool_decide: bool_decide_decide
    !73 · opened Jun 18, 2019 by Ralf Jung
    • MERGED
    • 1
    updated Jun 18, 2019
  • SeqZ Function
    !72 · opened Jun 17, 2019 by Simon Spies
    • MERGED
    • 64
    updated Mar 17, 2020
  • Some missing results about vectors.
    !71 · opened Jun 14, 2019 by Robbert Krebbers
    • MERGED
    • 2
    updated Jun 14, 2019
  • Prev
  • 1
  • …
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • Next