OAI/Combinatorics/ThinTrees/Continuation/
510 declarations, 0 contain sorry, 0 declared as axioms; 27 files
Files
- BitBound.lean 22 declarations
- CenteredDomain.lean 27 declarations
- ConcaveAlternative.lean 1 declarations
- Coordinates.lean 32 declarations
- Domain.lean 12 declarations
- Encoding.lean 28 declarations
- Feasibility.lean 8 declarations
- FiniteContinuation.lean 5 declarations
- Gains.lean 14 declarations
- Grid.lean 22 declarations
- Interior.lean 26 declarations
- Iteration.lean 19 declarations
- Loop.lean 12 declarations
- Margin.lean 20 declarations
- PartitionGeometry.lean 23 declarations
- PartitionLattice.lean 20 declarations
- PartitionLocalConnectivity.lean 13 declarations
- PartitionResponse.lean 5 declarations
- PartitionUncrossing.lean 9 declarations
- Pencil.lean 29 declarations
- PencilCorrectness.lean 11 declarations
- Ramp.lean 18 declarations
- Realization.lean 65 declarations
- Schedule.lean 22 declarations
- Search.lean 22 declarations
- SpectralSize.lean 17 declarations
- Start.lean 8 declarations