OAI/Computability/DegreeRigidity/Syntax/BooleanExpressionAssembly.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.BooleanExpressionCertificate.tag_mem line 9
2. theorem OAI.TuringRigidity.BooleanExpressionCertificate.witness_of_certificate line 14
3. theorem OAI.TuringRigidity.BooleanExpressionCertificate.seed_certified line 26
4. theorem OAI.TuringRigidity.BooleanExpressionCertificate.neg_certified line 41
5. theorem OAI.TuringRigidity.BooleanExpressionCertificate.Certificate.sUnion line 64
6. def OAI.TuringRigidity.BooleanExpressionCertificate.goodGraphs line 71
7. theorem OAI.TuringRigidity.BooleanExpressionCertificate.goodGraphs_mem line 74
8. def OAI.TuringRigidity.BooleanExpressionCertificate.children line 89
9. theorem OAI.TuringRigidity.BooleanExpressionCertificate.children_mem line 92