OAI/Computability/QuantumFactoring/PhysicalNodeEmission.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.configWidth line 15
  2. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.query line 17
  3. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.update line 19
  4. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.initWork line 22
  5. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.updateWork line 24
  6. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.width line 25
  7. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.current line 27
  8. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.initial line 29
  9. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.program line 31
  10. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.start line 33
  11. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.resultField line 37
  12. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.sortedOutput line 41
  13. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.kernelWidth line 46
  14. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.kernelInitial line 48
  15. lemma OAI.ExactQuantumFactoring.PhysicalNodeEmission.kernelProgram line 50