OAI/Computability/MinUncut/Search/TemplateArithmetic.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.SourceTemplate.keyTag line 14
  2. def OAI.MinUncut.SourceTemplate.keyTable line 19
  3. def OAI.MinUncut.SourceTemplate.keyNumber line 24
  4. lemma OAI.MinUncut.SourceTemplate.keyAddress_number line 29
  5. def OAI.MinUncut.SourceTemplate.signatureEquiv line 40
  6. def OAI.MinUncut.SourceTemplate.coordinateEncoding line 47
  7. def OAI.MinUncut.SourceTemplate.signatureEncoding line 49
  8. def OAI.MinUncut.SourceTemplate.inputTuple line 54
  9. def OAI.MinUncut.SourceTemplate.tupleDigit line 57
  10. def OAI.MinUncut.SourceTemplate.slotWord line 58
  11. lemma OAI.MinUncut.SourceTemplate.tupleDigit_eval line 62
  12. lemma OAI.MinUncut.SourceTemplate.formula_name_word line 73
  13. lemma OAI.MinUncut.SourceTemplate.formula_positive_word line 97
  14. lemma OAI.MinUncut.SourceTemplate.slotWord_name line 129
  15. lemma OAI.MinUncut.SourceTemplate.slotWord_positive line 137