OAI/LinearAlgebra/
58455 declarations, 0 contain sorry, 0 declared as axioms; 954 files
Folders
- Barker/ 5 files, 18 declarations
- CirculantHadamard/ 68 files, 854 declarations
- CliffordAlgebra/ 1 files, 30 declarations
- Descent/ 1 files, 40 declarations
- Hadamard/ 9 files, 147 declarations
- MatrixFields/ 354 files, 49724 declarations
- MatrixMultiplication/ 509 files, 7416 declarations
- MatrixState/ 4 files, 144 declarations
- RankMatching/ 1 files, 60 declarations
- TensorProduct/ 1 files, 22 declarations
Files
- CirculantHadamard.lean 1 import, no declarations