OAI/Computability/BinPacking/Games/
466 declarations, 0 contain sorry, 0 declared as axioms; 9 files
Files
- AlphabetBudget.lean 38 declarations
- GameConditioning.lean 5 declarations
- Holenstein.lean 58 declarations
- LocalSimulation.lean 80 declarations
- ProfileCorrection.lean 5 declarations
- QuestionMarginal.lean 88 declarations
- Reindexing.lean 100 declarations
- RepetitionUpper.lean 21 declarations
- SelectedProfiles.lean 71 declarations