OAI/Probability/MemoryPrecision/KernelModel.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.MemoryPrecision.Kernel.Vector line 15

   Also declared: ComparatorChallenges/MemoryPrecision.lean:13 (same declaration text).

2. abbrev OAI.MemoryPrecision.Kernel.Sphere line 16

   Also declared: ComparatorChallenges/MemoryPrecision.lean:15 (same declaration text).

3. abbrev OAI.MemoryPrecision.Kernel.State line 17

   Also declared: ComparatorChallenges/MemoryPrecision.lean:17 (same declaration text).

4. abbrev OAI.MemoryPrecision.Kernel.Action line 18

   Also declared: ComparatorChallenges/MemoryPrecision.lean:19 (same declaration text).

5. abbrev OAI.MemoryPrecision.Kernel.Observations line 19

   Also declared: ComparatorChallenges/MemoryPrecision.lean:21 (same declaration text).

6. abbrev OAI.MemoryPrecision.Kernel.Rows line 20

   Also declared: ComparatorChallenges/MemoryPrecision.lean:23 (same declaration text).

7. def OAI.MemoryPrecision.Kernel.UniformSphere line 22

   Also declared: ComparatorChallenges/MemoryPrecision.lean:25 (same declaration text).

8. def OAI.MemoryPrecision.Kernel.RowLaw line 36

   Also declared: ComparatorChallenges/MemoryPrecision.lean:39 (same declaration text).

9. def OAI.MemoryPrecision.Kernel.ObservationReference line 53

   Also declared: ComparatorChallenges/MemoryPrecision.lean:57 (same declaration text).

10. structure OAI.MemoryPrecision.Kernel.Policy line 56

    Also declared: ComparatorChallenges/MemoryPrecision.lean:60 (same declaration text).

11. instance OAI.MemoryPrecision.Kernel.Policy.(instance at line 65) line 65
12. def OAI.MemoryPrecision.Kernel.Policy.Completed line 68

    Also declared: ComparatorChallenges/MemoryPrecision.lean:70 (same declaration text).

13. def OAI.MemoryPrecision.Kernel.Policy.Borel line 70
14. def OAI.MemoryPrecision.Kernel.Policy.eval line 73

    Also declared: ComparatorChallenges/MemoryPrecision.lean:73 (same declaration text).

15. def OAI.MemoryPrecision.Kernel.Policy.pathValue line 80

    Also declared: ComparatorChallenges/MemoryPrecision.lean:80 (same declaration text).

16. def OAI.MemoryPrecision.Kernel.Policy.records line 84

    Also declared: ComparatorChallenges/MemoryPrecision.lean:84 (same declaration text).

17. def OAI.MemoryPrecision.Kernel.Policy.outputTest line 93

    Also declared: ComparatorChallenges/MemoryPrecision.lean:93 (same declaration text).

18. def OAI.MemoryPrecision.Kernel.Policy.angleTest line 97

    Also declared: ComparatorChallenges/MemoryPrecision.lean:97 (same declaration text).

19. def OAI.MemoryPrecision.Kernel.Policy.chordTest line 108

    Also declared: ComparatorChallenges/MemoryPrecision.lean:108 (same declaration text).

20. def OAI.MemoryPrecision.Kernel.Policy.experiment line 111

    Also declared: ComparatorChallenges/MemoryPrecision.lean:111 (same declaration text).

21. structure OAI.MemoryPrecision.Kernel.Policy.Admissible line 115

    Also declared: ComparatorChallenges/MemoryPrecision.lean:115 (same declaration text).

22. def OAI.MemoryPrecision.Kernel.Policy.Success line 121

    Also declared: ComparatorChallenges/MemoryPrecision.lean:121 (same declaration text).

23. def OAI.MemoryPrecision.Kernel.Policy.ChordSuccess line 124

    Also declared: ComparatorChallenges/MemoryPrecision.lean:125 (same declaration text).