Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merge
  2. Deep Learning: bugfix
  3. Deep Learning: remove out-dated TODOs
Changeset 7768:735119938536 by alexander bentkamp _bentkamp@gmail.com_:
merge
Changeset 7767:7fb04d0d0c1a by alexander bentkamp _bentkamp@gmail.com_:
Deep Learning: bugfix
The file was modified thys/Deep_Learning/PP_MPoly.thy (diff)
Changeset 7766:7664a23e41e9 by alexander bentkamp _bentkamp@gmail.com_:
Deep Learning: remove out-dated TODOs
The file was modified thys/Deep_Learning/DL_Deep_Model.thy (diff)
The file was modified thys/Deep_Learning/DL_Missing_Matrix.thy (diff)
The file was modified thys/Deep_Learning/DL_Missing_Sublist.thy (diff)
The file was modified thys/Deep_Learning/Lebesgue_Functional.thy (diff)
The file was modified thys/Deep_Learning/PP_MPoly.thy (diff)
The file was modified thys/Deep_Learning/PP_More_MPoly.thy (diff)
The file was modified thys/Deep_Learning/Tensor.thy (diff)
The file was modified thys/Deep_Learning/Tensor_Matricization.thy (diff)
The file was modified thys/Deep_Learning/Tensor_Rank.thy (diff)
The file was modified thys/Deep_Learning/Tensor_Unit_Vec.thy (diff)