OAI/Computability/BinPacking/Information/
863 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- EmptyContext.lean 45 declarations
- GameDecoder.lean 152 declarations
- GamesAdapter.lean 56 declarations
- SharedProfiles.lean 38 declarations
- SideInformation.lean 20 declarations
- SourceFieldArray.lean 54 declarations
- SourceHonest.lean 161 declarations
- SourceLoopInit.lean 139 declarations
- SourceNonempty.lean 131 declarations
- TraceLaw.lean 67 declarations