OAI/LinearAlgebra/MatrixMultiplication/
7416 declarations, 0 contain sorry, 0 declared as axioms; 509 files
Folders
- Arithmetic/ 11 files, 184 declarations
- AuxiliarySeparation/ 73 files, 862 declarations
- Completion/ 22 files, 400 declarations
- ComplexArithmetic/ 9 files, 148 declarations
- ComplexBounds/ 11 files, 195 declarations
- CoppersmithWinograd/ 30 files, 591 declarations
- Duality/ 34 files, 333 declarations
- Entropy/ 23 files, 432 declarations
- FieldConstruction/ 56 files, 896 declarations
- FieldGroups/ 29 files, 294 declarations
- FieldHistory/ 38 files, 653 declarations
- FieldParameters/ 12 files, 245 declarations
- JointExtraction/ 51 files, 733 declarations
- Numerical/ 11 files, 183 declarations
- Polynomial/ 15 files, 200 declarations
- Recovery/ 25 files, 285 declarations
- Rectangular/ 6 files, 44 declarations
- Separation/ 18 files, 238 declarations
- Tensor/ 33 files, 479 declarations
Files
- Main.lean 3 declarations
- Model.lean 18 declarations