OAI/Probability/ThorpRouting/HighTail/
758 declarations, 0 contain sorry, 0 declared as axioms; 11 files
Files
- AssignmentSlots.lean 71 declarations
- Coins.lean 85 declarations
- ColoredEmbedding.lean 56 declarations
- CutoffMass.lean 59 declarations
- ExposedCoins.lean 63 declarations
- Main.lean 76 declarations
- Model.lean 40 declarations
- ParallelFollow.lean 80 declarations
- PriorPaths.lean 78 declarations
- ProjectCycle.lean 76 declarations
- RotationMeeting.lean 74 declarations