OAI/Computability/DegreeRigidity/Syntax/BooleanExpressionCertificate.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TuringRigidity.BooleanExpressionCertificate.Step line 11
2. def OAI.TuringRigidity.BooleanExpressionCertificate.Certificate line 19
3. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Step.mono line 22
4. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Certificate.step line 34
5. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Certificate.enlarge line 41
6. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Certificate.union line 47
7. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Certificate.insert line 57
8. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Certificate.induction line 70
9. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Certificate.generic_agreement line 90