Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • F FloVer
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 5
    • Issues 5
    • List
    • Boards
    • Service Desk
    • Milestones
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • AVA
  • FloVer
  • Repository

Switch branch/tag
  • FloVer
  • coq
  • ErrorBounds.v
Find file BlameHistoryPermalink
  • Heiko Becker's avatar
    Rework evaluation semantics to not be arguing about precondition, make this... · df325c1a
    Heiko Becker authored Feb 19, 2017
    Rework evaluation semantics to not be arguing about precondition, make this explicit in the theorem, that we assume it. Admitted proofs that are obvious
    df325c1a

Replace ErrorBounds.v

Attach a file by drag & drop or click to upload


Cancel
GitLab will create a branch in your fork and start a merge request.