OAI/Computability/PerfectCompleteness/Machines/BinaryInputReduction.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PerfectCompleteness.BinaryInputReduction.computation line 13
  2. theorem OAI.PerfectCompleteness.BinaryInputReduction.computation_finiteAlphabet line 20
  3. def OAI.PerfectCompleteness.BinaryInputReduction.reduction line 26
  4. theorem OAI.PerfectCompleteness.BinaryInputReduction.reduction_finiteAlphabet line 31