OAI/Combinatorics/SharpRamsey/Validation/
84 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- ProducedExclusion.lean 25 declarations
- ValidationCosts.lean 5 declarations
- ValidationExtend.lean 2 declarations
- ValidationFraction.lean 1 declarations
- ValidationGapCosts.lean 5 declarations
- ValidationReturn.lean 3 declarations
- ValidationReverse.lean 1 declarations
- ValidationSchedule.lean 7 declarations
- ValidationTools.lean 35 declarations