OAI/Computability/VertexCover/Fourier/
404 declarations, 0 contain sorry, 0 declared as axioms; 18 files
Files
- Decoder.lean 25 declarations
- EmptyContext.lean 23 declarations
- FoldedEquation.lean 22 declarations
- Folding.lean 30 declarations
- FourierResponse.lean 11 declarations
- GameDecoder.lean 14 declarations
- HonestTest.lean 13 declarations
- SourceBounds.lean 25 declarations
- SourceContexts.lean 42 declarations
- SourceGame.lean 23 declarations
- SourceGap.lean 10 declarations
- SourceHonest.lean 25 declarations
- SourceNonempty.lean 5 declarations
- SourceOccurrences.lean 74 declarations
- SourceSoundness.lean 6 declarations
- SourceTape.lean 26 declarations
- ThreeBitTest.lean 13 declarations
- Walsh.lean 17 declarations