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
  • !97

LookupTotal

  • Review changes

  • Download
  • Email patches
  • Plain diff
Merged Dan Frumin requested to merge dfrumin/coq-stdpp:lookup_total into master Sep 16, 2019
  • Overview 58
  • Commits 17
  • Pipelines 0
  • Changes 5

This is aimed at addressing #43 (closed).

Some TODOs:

  • Update the notation in accordance with !93 (merged)
  • Direct definition of LookupTotal on vectors, so that its more friendlier towards simplification.
Edited Jan 24, 2020 by Dan Frumin
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: lookup_total