OAI/GameTheory/SnakyTwentyOne/Model.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.SnakyPrototype.Cell line 7

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

2. def OAI.SnakyPrototype.snaky line 8

   Also declared: ComparatorChallenges/SnakyTwentyOne.lean:8 (same declaration text).

3. def OAI.SnakyPrototype.orient line 9

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

4. def OAI.SnakyPrototype.placement line 19

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

5. def OAI.SnakyPrototype.HasSnaky line 20

   Also declared: ComparatorChallenges/SnakyTwentyOne.lean:20 (same declaration text).

6. abbrev OAI.SnakyPrototype.OrdinaryStrategy.Policy line 25

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

7. def OAI.SnakyPrototype.OrdinaryStrategy.playState line 26

   Also declared: ComparatorChallenges/SnakyTwentyOne.lean:26 (same declaration text).

8. def OAI.SnakyPrototype.OrdinaryStrategy.makerAt line 32

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

9. def OAI.SnakyPrototype.OrdinaryStrategy.LegalRepliesBeforeFinal line 35

   Also declared: ComparatorChallenges/SnakyTwentyOne.lean:35 (same declaration text).