Skip to content

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
    • Help
    • Support
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
S
stdpp
  • Project
    • Project
    • Details
    • Activity
    • Releases
    • Cycle Analytics
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
    • Charts
  • Issues 21
    • Issues 21
    • List
    • Boards
    • Labels
    • Milestones
  • Merge Requests 1
    • Merge Requests 1
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
    • Charts
  • Wiki
    • Wiki
  • Members
    • Members
  • Collapse sidebar
  • Activity
  • Graph
  • Charts
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
  • Iris
  • stdpp
  • Merge Requests

  • Open 1
  • Merged 97
  • Closed 7
  • All 105
Recent searches
  • Priority Created date Last updated Milestone due date Popularity Label priority
  • More lemmas for `filter` w.r.t. maps
    !96 · opened Sep 11, 2019 by Robbert
    • MERGED
    • 1
    • 2
    updated Sep 12, 2019
  • Additionally lemmas for insert, nth, take, and list_find
    !55 · opened Feb 08, 2019 by Hai Dang
    • MERGED
    • 1
    • 15
    updated Feb 21, 2019
  • Opaquify proofs in gmap_partial_alter (fix #46)
    !106 · opened Nov 20, 2019 by Paolo G. Giarrusso
    • MERGED
    • 16
    updated Nov 22, 2019
  • Add lemmas regarding set_seq
    !105 · opened Nov 11, 2019 by Simon Friis Vindum
    • MERGED
    • 20
    updated Nov 11, 2019
  • Remove `:>>` subclass instance declarations
    !104 · opened Nov 07, 2019 by Robbert
    • MERGED
    • 0
    updated Nov 07, 2019
  • Update gitignore for compatibility with Coq master
    !103 · opened Nov 01, 2019 by Tej Chajed
    • MERGED
    • 1
    updated Nov 02, 2019
  • Add congruence lemmas for closures
    !102 · opened Nov 01, 2019 by Amin Timany
    • MERGED
    • 0
    updated Nov 01, 2019
  • Add two useful lemmas
    !101 · opened Oct 31, 2019 by Amin Timany
    • MERGED
    • 5
    updated Nov 01, 2019
  • Mentioned Windows line ending fix in README
    !100 · opened Oct 31, 2019 by William Mansky
    • MERGED
    • 6
    updated Oct 31, 2019
  • Generalize `list_find` lemmas to become bi-implications.
    !99 · opened Oct 01, 2019 by Robbert
    • MERGED
    • 0
    updated Oct 07, 2019
  • Fix w.r.t. coq/coq#10764.
    !98 · opened Sep 19, 2019 by Pierre-Marie Pédrot
    • MERGED
    • 2
    updated Sep 19, 2019
  • WIP: LookupTotal   1 of 2 tasks completed
    !97 · opened Sep 16, 2019 by Dan Frumin
    • 28
    updated Dec 09, 2019
  • Fix Open/Close scope
    !94 · opened Sep 11, 2019 by Jacques-Henri Jourdan
    • MERGED
    • 3
    updated Sep 11, 2019
  • Disambiguate Haskell-style notations for partially applied operators
    !93 · opened Sep 08, 2019 by Robbert
    • MERGED
    • 8
    updated Oct 13, 2019
  • Avoid relying on `Export` bugs
    !92 · opened Sep 05, 2019 by Maxime Dénès
    • CLOSED
    • 3
    updated Sep 05, 2019
  • Lemmas for fin_maps
    !91 · opened Aug 27, 2019 by Michael Sammler
    • MERGED
    • 19
    updated Aug 29, 2019
  • 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
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • Next
  • Last »