Summary
- merge
- Deep Learning: bugfix
- Deep Learning: remove out-dated TODOs
The file was modified | thys/Deep_Learning/PP_MPoly.thy (diff) |
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) |