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 81
    • Issues 81
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 11
    • Merge requests 11
  • 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 11
  • Merged 409
  • Closed 37
  • All 457
  • Binders library that's used in many Iris developments.
    !67 · created Apr 25, 2019 by Robbert Krebbers
    • MERGED
    • 3
    updated Apr 25, 2019
  • Fix typo in doc
    !68 · created Apr 26, 2019 by Paolo G. Giarrusso
    • MERGED
    • 1
    updated Apr 26, 2019
  • Fix typo in instance name
    !69 · created May 17, 2019 by Paolo G. Giarrusso
    • MERGED
    • 1
    updated May 17, 2019
  • Strings are inhabited
    !70 · created May 17, 2019 by Paolo G. Giarrusso
    • MERGED
    • 1
    updated May 17, 2019
  • Some missing results about vectors.
    !71 · created Jun 14, 2019 by Robbert Krebbers
    • MERGED
    • 2
    updated Jun 14, 2019
  • add unfolding lemma for bool_decide: bool_decide_decide
    !73 · created Jun 18, 2019 by Ralf Jung
    • MERGED
    • 1
    updated Jun 18, 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
  • Added two proper instances with permutations
    !76 · created Jun 25, 2019 by Michael Sammler
    • MERGED
    • 18
    updated Jun 26, 2019
  • Perform `fast_done` first in `naive_solver`.
    !80 · created Jun 26, 2019 by Robbert Krebbers
    • MERGED
    • 1
    updated Jun 27, 2019
  • Define `Involutive` in terms of `Cancel`.
    !79 · created Jun 26, 2019 by Robbert Krebbers
    • MERGED
    • 2
    updated Jun 26, 2019
  • SeqZ Function
    !72 · created Jun 17, 2019 by Simon Spies
    • MERGED
    • 64
    updated Mar 17, 2020
  • add inverses of bool_decide_{true,false}
    !81 · created Jun 29, 2019 by Ralf Jung
    • MERGED
    • 19
    updated Jul 13, 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
  • some list lemmas
    !82 · created Jul 07, 2019 by Ralf Jung
    • MERGED
    • 17
    updated Jul 13, 2019
  • std++ 1.2.1 release notes
    !86 · created Aug 07, 2019 by Ralf Jung
    • MERGED
    • 0
    updated Aug 13, 2019
  • More lemmas about [map_imap].
    !84 · created Jul 15, 2019 by Rodolphe Lepigre
    • MERGED
    • 19
    updated Aug 13, 2019
  • Several simple lemmas.
    !85 · created Jul 22, 2019 by Paulo Emílio de Vilhena
    • MERGED
    • 28
    updated Aug 14, 2019
  • relations.nsteps: add inversion lemma for `nsteps R 1 a b`
    !87 · created Aug 21, 2019 by Paolo G. Giarrusso
    • MERGED
    • 8
    updated Aug 23, 2019
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • …
  • 21
  • Next