OAI/Probability/MemoryPrecision/KernelCaps.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.MemoryPrecision.Kernel.(instance at line 20) line 20
2. instance OAI.MemoryPrecision.Kernel.(instance at line 22) line 22
3. lemma OAI.MemoryPrecision.Kernel.Policy.chordTest_eq_cap line 27
4. lemma OAI.MemoryPrecision.Kernel.Policy.output_chord_sphere_local line 34
5. lemma OAI.MemoryPrecision.Kernel.Policy.output_chord_cube_local line 49
6. lemma OAI.MemoryPrecision.Kernel.Policy.output_chord_sphere_total line 66
7. lemma OAI.MemoryPrecision.Kernel.Policy.angleTest_le_chordTest line 76
8. lemma OAI.MemoryPrecision.Kernel.Policy.eval_mono line 84
9. lemma OAI.MemoryPrecision.Kernel.Policy.pathValue_mono line 97
10. lemma OAI.MemoryPrecision.Kernel.Policy.success_le_chord line 107