Skip to content

GitLab

  • Projects
  • Groups
  • Snippets
  • Help
    • Loading...
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
afp-devel
afp-devel
  • Project overview
    • Project overview
    • Details
    • Activity
    • Releases
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 0
    • Issues 0
    • List
    • Boards
    • Labels
    • Service Desk
    • Milestones
  • Merge Requests 0
    • Merge Requests 0
  • CI / CD
    • CI / CD
    • Pipelines
    • Jobs
    • Schedules
  • Operations
    • Operations
    • Incidents
    • Environments
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • CI / CD
    • Repository
    • Value Stream
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Members
    • Members
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar

There will be about 1h of downtime on 2020-03-02 at 13:00 UTC+1 (change of servers and upgrade to Heptapod 0.20.0 final)

  • isa-afp
  • afp-develafp-devel
  • Merge Requests
  • !8

Merged
Opened Apr 04, 2017 by Bitbucket Importer@bitbucket_importerOwner

Deep_Learning restructuring + fixes

  • Overview 0
  • Commits 0
  • Changes 0

Created originally on Bitbucket by abentkamp (Alexander Bentkamp)

Was already merged in Bitbucket before import, marked as merged by the import user

Source changeset not longer availableat the time of import. Commit listwill look empty

  • Remove unnessecary argument from witness_submatrix

  • removed unnessecary subvec def and lemmas

  • Deep_Learning: simplify fundamental theorem

  • Rewrite fundamental theorem proof

  • fundamental theorem of network capacity simplifications

Assignee
Assign to
Reviewer
Request review from
None
Milestone
None
Assign milestone
Time tracking
Reference: isa-afp/afp-devel!8
Source branch: bitbucket/merged-pr-8