OAI/Computability/QuantumFactoring/PhysicalNodeKernel.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ExactQuantumFactoring.NodeKernel.width line 18
  2. abbrev OAI.ExactQuantumFactoring.NodeKernel.Raw line 19
  3. def OAI.ExactQuantumFactoring.NodeKernel.initialNet line 20
  4. def OAI.ExactQuantumFactoring.NodeKernel.start line 21
  5. def OAI.ExactQuantumFactoring.NodeKernel.zero line 22
  6. def OAI.ExactQuantumFactoring.NodeKernel.encoding line 24
  7. def OAI.ExactQuantumFactoring.NodeKernel.fresh line 26
  8. def OAI.ExactQuantumFactoring.NodeKernel.program line 28
  9. def OAI.ExactQuantumFactoring.NodeKernel.passed line 30
  10. lemma OAI.ExactQuantumFactoring.NodeKernel.initialNet_eval line 32
  11. lemma OAI.ExactQuantumFactoring.NodeKernel.program_state line 35
  12. lemma OAI.ExactQuantumFactoring.NodeKernel.encoding_injective line 38
  13. lemma OAI.ExactQuantumFactoring.NodeKernel.fresh_normalized line 40
  14. lemma OAI.ExactQuantumFactoring.NodeKernel.passed_mass line 42