OAI/Combinatorics/ThinTrees/Sparsification/
207 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- ExplicitAlgorithm.lean 2 declarations
- GraphCertificates.lean 8 declarations
- GraphicHalf.lean 16 declarations
- GraphicNormalization.lean 9 declarations
- HalfNumeric.lean 13 declarations
- IterationPotential.lean 8 declarations
- IterationRealization.lean 48 declarations
- RationalIteration.lean 9 declarations
- Realization.lean 80 declarations
- ShortcutExtraction.lean 12 declarations
- Step.lean 2 declarations