OAI/Combinatorics/KMedian/Expanders/
388 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- Cayley.lean 8 declarations
- Cloud.lean 24 declarations
- CloudCopies.lean 24 declarations
- CloudEmbedding.lean 6 declarations
- CloudOrder.lean 15 declarations
- CloudPrograms.lean 21 declarations
- CloudSpec.lean 18 declarations
- EqualityExpansion.lean 10 declarations
- ExpanderCompiler.lean 6 declarations
- ExpanderFamily.lean 20 declarations
- ExpanderGuard.lean 18 declarations
- ExpanderIndex.lean 2 declarations
- ExpanderStep.lean 14 declarations
- ExpanderTables.lean 4 declarations
- GraphExtend.lean 13 declarations
- GraphMix.lean 10 declarations
- GraphProducts.lean 13 declarations
- GraphRelabel.lean 5 declarations
- L2.lean 12 declarations
- PathCount.lean 9 declarations
- PortWalk.lean 22 declarations
- Rademacher.lean 12 declarations
- SmallBias.lean 7 declarations
- SpectralWalk.lean 25 declarations
- Stopped.lean 14 declarations
- WalkMoments.lean 21 declarations
- WalkSegments.lean 12 declarations
- Walsh.lean 20 declarations
- Zigzag.lean 3 declarations