OAI/Combinatorics/VariableWL/Model.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.VariableWL.Word line 7

   Also declared: ComparatorChallenges/VariableWL.lean:7 (same declaration text).

2. inductive OAI.VariableWL.Motion line 9

   Also declared: ComparatorChallenges/VariableWL.lean:9 (same declaration text).

3. def OAI.VariableWL.Motion.displacement line 13

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

4. structure OAI.VariableWL.Machine line 18

   Also declared: ComparatorChallenges/VariableWL.lean:18 (same declaration text).

5. structure OAI.VariableWL.Configuration line 27

   Also declared: ComparatorChallenges/VariableWL.lean:27 (same declaration text).

6. def OAI.VariableWL.wordCells line 32

   Also declared: ComparatorChallenges/VariableWL.lean:32 (same declaration text).

7. def OAI.VariableWL.initial line 40

   Also declared: ComparatorChallenges/VariableWL.lean:40 (same declaration text).

8. def OAI.VariableWL.scanned line 45

   Also declared: ComparatorChallenges/VariableWL.lean:45 (same declaration text).

9. def OAI.VariableWL.step line 49

   Also declared: ComparatorChallenges/VariableWL.lean:49 (same declaration text).

10. def OAI.VariableWL.run line 55

    Also declared: ComparatorChallenges/VariableWL.lean:55 (same declaration text).

11. def OAI.VariableWL.OutputsWithin line 59

    Also declared: ComparatorChallenges/VariableWL.lean:59 (same declaration text).

12. abbrev OAI.VariableWL.Language line 63

    Also declared: ComparatorChallenges/VariableWL.lean:63 (same declaration text).

13. def OAI.VariableWL.InEXPTIME line 65

    Also declared: ComparatorChallenges/VariableWL.lean:65 (same declaration text).

14. def OAI.VariableWL.PolytimeReduces line 70

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

15. def OAI.VariableWL.EXPTIMEComplete line 75

    Also declared: ComparatorChallenges/VariableWL.lean:75 (same declaration text).

16. structure OAI.VariableWL.Graph line 78

    Also declared: ComparatorChallenges/VariableWL.lean:78 (same declaration text).

17. abbrev OAI.VariableWL.Tuple line 82

    Also declared: ComparatorChallenges/VariableWL.lean:82 (same declaration text).

18. def OAI.VariableWL.Color line 84

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

19. def OAI.VariableWL.color line 88

    Also declared: ComparatorChallenges/VariableWL.lean:88 (same declaration text).

20. def OAI.VariableWL.histogram line 95

    Also declared: ComparatorChallenges/VariableWL.lean:95 (same declaration text).

21. def OAI.VariableWL.Equivalent line 98

    Also declared: ComparatorChallenges/VariableWL.lean:98 (same declaration text).

22. def OAI.VariableWL.integerCode line 101

    Also declared: ComparatorChallenges/VariableWL.lean:101 (same declaration text).

23. def OAI.VariableWL.graphCode line 104

    Also declared: ComparatorChallenges/VariableWL.lean:104 (same declaration text).

24. def OAI.VariableWL.pairCode line 110

    Also declared: ComparatorChallenges/VariableWL.lean:110 (same declaration text).

25. def OAI.VariableWL.WL line 113

    Also declared: ComparatorChallenges/VariableWL.lean:113 (same declaration text).

26. def OAI.VariableWL.Subcubic line 116

    Also declared: ComparatorChallenges/VariableWL.lean:116 (same declaration text).

27. def OAI.VariableWL.SubWL line 120

    Also declared: ComparatorChallenges/VariableWL.lean:120 (same declaration text).