OAI/Probability/MemoryPrecision/CubeArithmetic.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.MemoryPrecision.cube_memory_ratio line 18
2. lemma OAI.MemoryPrecision.cube_memory_factor line 32
3. lemma OAI.MemoryPrecision.cube_stopping_factor line 44
4. def OAI.MemoryPrecision.CubeSuccessConstant line 55
5. lemma OAI.MemoryPrecision.cubeSuccessConstant_twelve line 56
6. lemma OAI.MemoryPrecision.cubeSuccessConstant_one line 57
7. lemma OAI.MemoryPrecision.cubeSuccessConstant_exp line 59
8. lemma OAI.MemoryPrecision.cubeSuccessConstant_pos line 61
9. lemma OAI.MemoryPrecision.cube_whole_factor line 64