OAI/Computability/DegreeRigidity/Syntax/CheckedCode.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.TransitiveNameModel.checkedCode line 9
2. theorem OAI.TuringRigidity.TransitiveNameModel.mem_checkedCode line 15
3. theorem OAI.TuringRigidity.TransitiveNameModel.encode_checkPSet line 25
4. theorem OAI.TuringRigidity.TransitiveNameModel.encode_check line 48
5. def OAI.TuringRigidity.TransitiveNameModel.RecursionStep line 52
6. def OAI.TuringRigidity.TransitiveNameModel.CheckGraph line 56
7. theorem OAI.TuringRigidity.TransitiveNameModel.CheckGraph.correct line 63
8. theorem OAI.TuringRigidity.TransitiveNameModel.CheckGraph.unique line 81
9. def OAI.TuringRigidity.TransitiveNameModel.CheckFormula.step line 96
10. theorem OAI.TuringRigidity.TransitiveNameModel.CheckFormula.eval_step line 102
11. def OAI.TuringRigidity.TransitiveNameModel.CheckFormula.graph line 108
12. theorem OAI.TuringRigidity.TransitiveNameModel.CheckFormula.eval_graph line 112