OAI/Combinatorics/IndependentSets/Fourier/
324 declarations, 0 contain sorry, 0 declared as axioms; 16 files
Files
- Contexts.lean 42 declarations
- Decoder.lean 25 declarations
- EmptyContext.lean 23 declarations
- FoldedEquation.lean 22 declarations
- Folding.lean 30 declarations
- Fourier.lean 28 declarations
- FourierResponse.lean 11 declarations
- Game.lean 23 declarations
- GameDecoder.lean 14 declarations
- Gap.lean 15 declarations
- HonestTest.lean 13 declarations
- LocalEquations.lean 13 declarations
- NumberedStorage.lean 18 declarations
- Soundness.lean 13 declarations
- Walsh.lean 30 declarations
- Walsh2.lean 4 declarations