OAI/Computability/DegreeRigidity/SetModels/NameValidity.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.NameValidity.Step line 11
  2. def OAI.TuringRigidity.NameValidity.Certificate line 14
  3. def OAI.TuringRigidity.NameValidity.Child line 17
  4. theorem OAI.TuringRigidity.NameValidity.child_wellFounded line 19
  5. theorem OAI.TuringRigidity.NameValidity.Certificate.decode line 27
  6. theorem OAI.TuringRigidity.NameValidity.Certificate.encode_mem line 57
  7. theorem OAI.TuringRigidity.NameValidity.Certificate.correct line 69
  8. def OAI.TuringRigidity.NameValidity.Code.step line 79
  9. theorem OAI.TuringRigidity.NameValidity.Code.eval_step line 82
  10. def OAI.TuringRigidity.NameValidity.Code.certificate line 86
  11. theorem OAI.TuringRigidity.NameValidity.Code.eval_certificate line 89
  12. theorem OAI.TuringRigidity.NameValidity.internal_certificate line 95