OAI/GameTheory/SnakyTwentyOne/Certificate/Summary.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SnakyPrototype.Certificate21.numberedCards line 94
  2. theorem OAI.SnakyPrototype.Certificate21.numberedCards_size line 95
  3. def OAI.SnakyPrototype.Certificate21.numberedCard line 96
  4. theorem OAI.SnakyPrototype.Certificate21.numbered_cards_valid line 98
  5. theorem OAI.SnakyPrototype.Certificate21.numbered_cards_standing_conditions line 101
  6. theorem OAI.SnakyPrototype.Certificate21.final_card_data line 106
  7. theorem OAI.SnakyPrototype.Certificate21.final_envelope_card line 110
  8. theorem OAI.SnakyPrototype.Certificate21.final_children_requirements line 111
  9. theorem OAI.SnakyPrototype.Certificate21.final_children_intersection line 113
  10. theorem OAI.SnakyPrototype.Certificate21.final_group_data line 120
  11. def OAI.SnakyPrototype.Certificate21.finalPrefixIntersection line 128
  12. theorem OAI.SnakyPrototype.Certificate21.final_prefix_count_4 line 130
  13. theorem OAI.SnakyPrototype.Certificate21.final_prefix_count_8 line 131
  14. theorem OAI.SnakyPrototype.Certificate21.final_prefix_count_16 line 132
  15. theorem OAI.SnakyPrototype.Certificate21.final_prefix_count_20 line 133
  16. theorem OAI.SnakyPrototype.Certificate21.final_prefix_count_28 line 134
  17. theorem OAI.SnakyPrototype.Certificate21.final_prefix_count_32 line 135
  18. theorem OAI.SnakyPrototype.Certificate21.numbered_line_count line 136
  19. theorem OAI.SnakyPrototype.Certificate21.current_certificate_verified line 138