OAI/Computability/QuantumFactoring/ExpressionSyntaxEmission.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ExactQuantumFactoring.NetworkEmission.exprView line 16
  2. def OAI.ExactQuantumFactoring.NetworkEmission.exprPayload line 17
  3. def OAI.ExactQuantumFactoring.NetworkEmission.exprCode line 18
  4. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprViewP line 21
  5. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprSizeP line 23
  6. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprMaxP line 25
  7. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprTokensP line 27
  8. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.binaryMax line 29
  9. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprVarP line 34
  10. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.constTokenP line 38
  11. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprConstP line 40
  12. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.tokensAppendP line 43
  13. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.tokensPairP line 45
  14. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.tokensOpP line 48
  15. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.tokensLeP line 51
  16. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.tokensMuxP line 55
  17. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprBinaryP line 63
  18. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprAddP line 74
  19. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprMulP line 75
  20. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprDivP line 76
  21. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprModP line 77
  22. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprSubP line 78
  23. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.exprIteP line 89