OAI/Computability/WLIdentification/CircuitForms.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.WLIdentification.FinitePresentation.Number.vectorFirst line 12
  2. def OAI.WLIdentification.FinitePresentation.Number.vectorSecond line 16
  3. def OAI.WLIdentification.FinitePresentation.Number.vectorProj line 21
  4. theorem OAI.WLIdentification.FinitePresentation.Number.sum_vector line 28
  5. def OAI.WLIdentification.FinitePresentation.Number.vectorSum line 34
  6. def OAI.WLIdentification.FinitePresentation.Number.vectorAdd line 41
  7. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.sourceForm line 54
  8. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.targetForm line 64
  9. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonLeft line 74
  10. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.comparisonRight line 82
  11. def OAI.WLIdentification.FinitePresentation.CircuitRealizer.schemas line 90