OAI/GameTheory/SnakyConditional/Model.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.SnakyConditional.WinsIn line 7
2. def OAI.SnakyConditional.Template line 13
3. abbrev OAI.SnakyConditional.Cell line 15

   Also declared: ComparatorChallenges/SnakyConditional.lean:5 (same declaration text).

4. def OAI.SnakyConditional.snaky line 16

   Also declared: ComparatorChallenges/SnakyConditional.lean:6 (same declaration text).

5. def OAI.SnakyConditional.orient line 17

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

6. def OAI.SnakyConditional.placement line 27

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

7. def OAI.SnakyConditional.HasSnaky line 28

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