Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. Merged in abentkamp/afp-devel (pull request #12) Deep Learning: minor additions
  2. merge deep learning
  3. deep learning theorem variant
  4. move polyfun def to Polynomial library
  5. rename eye_matrix to id_matrix
Changeset 9610:bf31c45c1b0f by johannes hölzl _johannes.hoelzl@posteo.de_:
Merged in abentkamp/afp-devel (pull request #12)<br><br>Deep Learning: minor additions
Changeset 9609:e21778abb317 by alexander bentkamp _a.bentkamp@vu.nl_:
merge deep learning
Changeset 9608:e91cd24c1939 by alexander bentkamp _a.bentkamp@vu.nl_:
deep learning theorem variant
The file was modified thys/Deep_Learning/DL_Fundamental_Theorem_Network_Capacity.thy
Changeset 9607:36687c612eb2 by alexander bentkamp _a.bentkamp@vu.nl_:
move polyfun def to Polynomial library
The file was modified thys/Deep_Learning/DL_Deep_Model_Poly.thy
The file was modified thys/Polynomials/More_MPoly_Type.thy
Changeset 9606:ea3681194081 by alexander bentkamp _a.bentkamp@vu.nl_:
rename eye_matrix to id_matrix
The file was modified thys/Deep_Learning/DL_Concrete_Matrices.thy
The file was modified thys/Deep_Learning/DL_Deep_Model.thy