OAI/Computability/MinUncut/Main.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MinUncut.Uniform.framedFrontend line 19
  2. def OAI.MinUncut.Uniform.fullMachine line 22
  3. lemma OAI.MinUncut.Uniform.full_finite line 24
  4. def OAI.MinUncut.Uniform.frontSize line 28
  5. lemma OAI.MinUncut.Uniform.frontSize_bound line 30
  6. def OAI.MinUncut.Uniform.fullTime line 35
  7. def OAI.MinUncut.Uniform.full_outputs line 38
  8. def OAI.MinUncut.Uniform.computation line 65
  9. def OAI.MinUncut.Uniform.outputSize line 76
  10. lemma OAI.MinUncut.Uniform.outputSize_bound line 78
  11. def OAI.MinUncut.Uniform.reduction line 88
  12. theorem OAI.MinUncut.main line 106

    Distinct definitions of this name: ComparatorChallenges/MinUncut.lean:125 (same statement text; different proof or body). Qualify references as OAI.MinUncut.main@path.