OAI/Computability/DegreeRigidity/Syntax/BooleanExpressionSyntax.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.BooleanExpressionCertificate.stepFormula line 8
  2. theorem OAI.TuringRigidity.BooleanExpressionCertificate.stepFormula_spec line 20
  3. def OAI.TuringRigidity.BooleanExpressionCertificate.certificateFormula line 28
  4. theorem OAI.TuringRigidity.BooleanExpressionCertificate.certificateFormula_spec line 33
  5. def OAI.TuringRigidity.BooleanExpressionCertificate.Witness line 48
  6. def OAI.TuringRigidity.BooleanExpressionCertificate.witnessFormula line 52
  7. theorem OAI.TuringRigidity.BooleanExpressionCertificate.witnessFormula_spec line 58
  8. def OAI.TuringRigidity.BooleanExpressionCertificate.parameters line 69
  9. theorem OAI.TuringRigidity.BooleanExpressionCertificate.parameters_mem line 72
  10. def OAI.TuringRigidity.BooleanExpressionCertificate.witnessBody line 80
  11. theorem OAI.TuringRigidity.BooleanExpressionCertificate.witnessBody_realize line 82
  12. def OAI.TuringRigidity.BooleanExpressionCertificate.certified line 89
  13. theorem OAI.TuringRigidity.BooleanExpressionCertificate.certified_mem line 92