OAI/Computability/DegreeRigidity/Syntax/AtomicCertificate.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.product line 12
2. theorem OAI.TuringRigidity.AtomicForcing.AtomicFormula.eval_product line 16
3. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.graph line 39
4. theorem OAI.TuringRigidity.AtomicForcing.AtomicFormula.eval_graph line 44
5. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.membership line 59
6. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.query line 63
7. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.matrix line 66
8. def OAI.TuringRigidity.AtomicForcing.AtomicFormula.certificate line 70
9. theorem OAI.TuringRigidity.AtomicForcing.eval_membership line 76