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 12
    • Merge requests 12
  • 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 12
  • Merged 407
  • Closed 36
  • All 455
Subscribe to RSS feed
  • Add results about deleting and inserting filtered out elements
    !46 · created Dec 14, 2018 by Michael Sammler
    • MERGED
    • 8
    updated Dec 16, 2018
  • `tc_to_bool` to turn a type class into a Boolean that expresses if there is an instance
    !48 · created Jan 11, 2019 by Robbert Krebbers
    • MERGED
    • 3
    updated Feb 06, 2019
  • Make trivial instances explicit
    !50 · created Jan 24, 2019 by Maxime Dénès
    • MERGED
    • 5
    updated Jan 24, 2019
  • fix λ.. printing and test it
    !51 · created Jan 24, 2019 by Ralf Jung
    • MERGED
    • 1
    updated Jan 24, 2019
  • silence fewer warnings, add comment about overwriting notation
    !49 · created Jan 19, 2019 by Ralf Jung
    • MERGED
    • 8
    updated Sep 25, 2020
  • Seal `fresh_generic`.
    !54 · created Feb 07, 2019 by Robbert Krebbers
    • MERGED
    • 2
    updated Feb 07, 2019
  • Confluent relations
    !53 · created Feb 05, 2019 by Robbert Krebbers
    • MERGED
    • 5
    updated Feb 10, 2019
  • Consistently use `set_` prefix.
    !45 · created Dec 03, 2018 by Robbert Krebbers
    • MERGED
    • 34
    updated Feb 20, 2019
  • New `seq` operation on maps + consistency tweaks for `seq` operation on sets
    !44 · created Nov 30, 2018 by Robbert Krebbers
    • MERGED
    • 15
    updated Feb 20, 2019
  • fix or silence Coq 8.10 warnings
    !52 · created Jan 29, 2019 by Ralf Jung
    • MERGED
    • 9
    updated Feb 20, 2019
  • Rename multiset "union" into "disjoint union"
    !57 · created Feb 21, 2019 by Robbert Krebbers
    • MERGED
    • 4
    updated Mar 10, 2021
  • Additionally lemmas for insert, nth, take, and list_find
    !55 · created Feb 08, 2019 by Hai Dang
    • MERGED
    • 1
    • 15
    updated Feb 21, 2019
  • Notion of (in)finite predicates
    !56 · created Feb 20, 2019 by Robbert Krebbers
    • MERGED
    • 11
    updated Feb 21, 2019
  • Overhaul of the `Infinite`/`Fresh` infrastructure
    !58 · created Mar 01, 2019 by Robbert Krebbers
    • MERGED
    • 30
    updated Mar 03, 2019
  • Make `gset` a `Definition` instead of `Notation`.
    !59 · created Mar 14, 2019 by Robbert Krebbers
    • MERGED
    • 13
    updated Mar 14, 2019
  • move the (very brief) contribution guide to the README
    !60 · created Mar 14, 2019 by Ralf Jung
    • MERGED
    • 1
    updated Mar 14, 2019
  • More efficient list encoding for Countable
    !62 · created Mar 15, 2019 by Jakob Botsch Nielsen
    • MERGED
    • 65
    updated Mar 16, 2019
  • Add `map_delete_zip_with`
    !64 · created Mar 26, 2019 by Dan Frumin
    • MERGED
    • 1
    updated Mar 26, 2019
  • gmultiset lemmas
    !65 · created Apr 16, 2019 by Dan Frumin
    • MERGED
    • 27
    updated Apr 19, 2019
  • Improve performance of `set_solver`
    !66 · created Apr 23, 2019 by Robbert Krebbers
    • MERGED
    • 0
    updated May 25, 2021
  • Prev
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • …
  • 21
  • Next