OAI/Computability/DegreeRigidity/Syntax/BooleanEvaluationWitness.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.TuringRigidity.BooleanExpressionTruth.GoodTruth line 8
  2. theorem OAI.TuringRigidity.BooleanExpressionTruth.GoodTruth.agrees line 11
  3. theorem OAI.TuringRigidity.BooleanExpressionTruth.valueSet_good line 20
  4. def OAI.TuringRigidity.BooleanExpressionTruth.Evaluated line 24
  5. def OAI.TuringRigidity.BooleanExpressionTruth.truthSlots line 28
  6. def OAI.TuringRigidity.BooleanExpressionTruth.truthAt line 38
  7. theorem OAI.TuringRigidity.BooleanExpressionTruth.truthAt_spec line 40
  8. def OAI.TuringRigidity.BooleanExpressionTruth.goodTruthFormula line 49
  9. theorem OAI.TuringRigidity.BooleanExpressionTruth.goodTruthFormula_spec line 53
  10. def OAI.TuringRigidity.BooleanExpressionTruth.evaluatedFormula line 63
  11. theorem OAI.TuringRigidity.BooleanExpressionTruth.evaluatedFormula_spec line 68
  12. def OAI.TuringRigidity.BooleanExpressionTruth.evaluationParameters line 80
  13. def OAI.TuringRigidity.BooleanExpressionTruth.evaluationBody line 84
  14. theorem OAI.TuringRigidity.BooleanExpressionTruth.evaluationBody_realize line 86