OAI/Computability/MinUncut/Encoding/GameEncoding.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncutGames.Foundations.Complexity.parseLabel line 11
  2. theorem OAI.MinUncutGames.Foundations.Complexity.parseLabel_value line 14
  3. theorem OAI.MinUncutGames.Foundations.Complexity.parseLabels_values line 17
  4. def OAI.MinUncutGames.Foundations.Complexity.parseImages line 23
  5. theorem OAI.MinUncutGames.Foundations.Complexity.parseImages_values line 29
  6. def OAI.MinUncutGames.Foundations.Complexity.findPreimage line 36
  7. theorem OAI.MinUncutGames.Foundations.Complexity.findPreimage_permutation line 39
  8. def OAI.MinUncutGames.Foundations.Complexity.searchedInverse line 58
  9. theorem OAI.MinUncutGames.Foundations.Complexity.searchedInverse_permutation line 61
  10. def OAI.MinUncutGames.Foundations.Complexity.tableWords line 67
  11. def OAI.MinUncutGames.Foundations.Complexity.parsePermutation line 70
  12. theorem OAI.MinUncutGames.Foundations.Complexity.parsePermutation_encoded line 79
  13. theorem OAI.MinUncutGames.Foundations.Complexity.tableWords_length line 86
  14. def OAI.MinUncutGames.Foundations.Complexity.constraintWords line 89
  15. def OAI.MinUncutGames.Foundations.Complexity.parseConstraint line 92
  16. theorem OAI.MinUncutGames.Foundations.Complexity.parseConstraint_encoded line 101
  17. def OAI.MinUncutGames.Foundations.Complexity.parseConstraints line 110
  18. theorem OAI.MinUncutGames.Foundations.Complexity.parseConstraints_encoded line 118
  19. def OAI.MinUncutGames.Foundations.Complexity.gameWords line 127
  20. def OAI.MinUncutGames.Foundations.Complexity.gameBits line 130
  21. def OAI.MinUncutGames.Foundations.Complexity.decodeGameWords line 132
  22. theorem OAI.MinUncutGames.Foundations.Complexity.decodeGameWords_encoded line 142
  23. def OAI.MinUncutGames.Foundations.Complexity.decodeGameBits line 150
  24. theorem OAI.MinUncutGames.Foundations.Complexity.decodeGameBits_encoded line 153
  25. theorem OAI.MinUncutGames.Foundations.Complexity.gameBits_injective line 157
  26. theorem OAI.MinUncutGames.Foundations.Complexity.constraintWords_length line 162
  27. theorem OAI.MinUncutGames.Foundations.Complexity.constraintsWords_length line 165
  28. theorem OAI.MinUncutGames.Foundations.Complexity.gameWords_length line 174