OAI/Combinatorics/ThinTrees/Encoding/
423 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- AlgorithmicMain.lean 6 declarations
- BinaryReduction.lean 27 declarations
- BoundaryCases.lean 10 declarations
- CanonicalExpansion.lean 22 declarations
- GraphRealization.lean 57 declarations
- GreedyRealization.lean 100 declarations
- GreedyTree.lean 20 declarations
- InputArrays.lean 61 declarations
- InputDispatch.lean 34 declarations
- InputExpansion.lean 27 declarations
- InputOutput.lean 18 declarations
- OrderedGraph.lean 13 declarations
- SelectionRealization.lean 9 declarations
- Specification.lean 19 declarations