OAI/LinearAlgebra/Barker/
18 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- Main.lean 4 declarations
- Model.lean 3 declarations
- Parity.lean 4 declarations
- PeriodicModFour.lean 6 declarations
- Wraparound.lean 1 declarations