OAI/Computability/DegreeRigidity/Syntax/BooleanExpressionTruth.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.TuringRigidity.BooleanExpressionTruth.rankWF line 9
  2. def OAI.TuringRigidity.BooleanExpressionTruth.body line 12
  3. def OAI.TuringRigidity.BooleanExpressionTruth.value line 19
  4. theorem OAI.TuringRigidity.BooleanExpressionTruth.value_unfold line 21
  5. theorem OAI.TuringRigidity.BooleanExpressionTruth.payload_mem line 29
  6. def OAI.TuringRigidity.BooleanExpressionTruth.step line 34
  7. def OAI.TuringRigidity.BooleanExpressionTruth.formula line 39
  8. def OAI.TuringRigidity.BooleanExpressionTruth.parameters line 44
  9. theorem OAI.TuringRigidity.BooleanExpressionTruth.formula_spec line 47
  10. theorem OAI.TuringRigidity.BooleanExpressionTruth.formula_local line 52
  11. def OAI.TuringRigidity.BooleanExpressionTruth.valueSet line 73
  12. theorem OAI.TuringRigidity.BooleanExpressionTruth.valueSet_fixed line 75
  13. theorem OAI.TuringRigidity.BooleanExpressionTruth.valueSet_mem line 94