OAI/Probability/ThorpRouting/Dense/
873 declarations, 0 contain sorry, 0 declared as axioms; 13 files
Files
- AssignmentSlots.lean 70 declarations
- Coins.lean 86 declarations
- ColoredEmbedding.lean 57 declarations
- CutoffMass.lean 61 declarations
- ExposedCoins.lean 63 declarations
- Main.lean 63 declarations
- Model.lean 42 declarations
- PalindromeFamilyCost.lean 61 declarations
- ParallelFollow.lean 82 declarations
- PriorPaths.lean 78 declarations
- ProjectCycle.lean 76 declarations
- RotationCharge.lean 74 declarations
- SingleSlotsEquiv.lean 60 declarations