OAI/GameTheory/SnakyTwentyOne/Semantics/Replies.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SnakyPrototype.OrdinaryStrategy.freshReply line 7
  2. theorem OAI.SnakyPrototype.OrdinaryStrategy.freshReply_not_owned line 9
  3. def OAI.SnakyPrototype.OrdinaryStrategy.freshReplyState line 14
  4. def OAI.SnakyPrototype.OrdinaryStrategy.freshReplies line 21
  5. theorem OAI.SnakyPrototype.OrdinaryStrategy.playState_freshReplies line 25
  6. theorem OAI.SnakyPrototype.OrdinaryStrategy.exists_legal_replies line 31