OAI/Computability/MinUncut/Encoding/QuestionEncoding.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Outer.equationPair line 12
  2. def OAI.MinUncut.Outer.fieldEncoding line 18
  3. def OAI.MinUncut.Outer.equationEncoding line 20
  4. def OAI.MinUncut.Outer.secondQuestionEncoding line 24
  5. def OAI.MinUncut.Outer.questionEncoding line 27
  6. def OAI.MinUncut.Outer.ambientEncoding line 31
  7. instance OAI.MinUncut.Outer.validDecidable line 34
  8. def OAI.MinUncut.Outer.encodeFirst line 37
  9. def OAI.MinUncut.Outer.decodeFirst line 40
  10. lemma OAI.MinUncut.Outer.decodeFirst_encodeFirst line 44
  11. lemma OAI.MinUncut.Outer.secondSlotCount_le line 50
  12. def OAI.MinUncut.Outer.encodeSecond line 53
  13. def OAI.MinUncut.Outer.decodeSecond line 56
  14. lemma OAI.MinUncut.Outer.decodeSecond_encodeSecond line 59
  15. def OAI.MinUncut.Outer.encodeAlphabet line 64
  16. def OAI.MinUncut.Outer.decodeAlphabet line 68
  17. lemma OAI.MinUncut.Outer.decodeAlphabet_encodeAlphabet line 72
  18. def OAI.MinUncut.Outer.extendTable line 78
  19. lemma OAI.MinUncut.Outer.extendTable_eval line 81
  20. lemma OAI.MinUncut.Outer.extendTable_injective line 85
  21. def OAI.MinUncut.Outer.paddedVariableEncoding line 91
  22. def OAI.MinUncut.Outer.variableCode line 95
  23. lemma OAI.MinUncut.Outer.variableCode_injective line 98
  24. lemma OAI.MinUncut.Outer.paddedVariableEncoding_size line 107