OAI/Computability/QuantumFactoring/PhysicalOrderNetworks.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.packed_append line 20
  2. def OAI.ExactQuantumFactoring.BooleanNetwork.packNet line 31
  3. lemma OAI.ExactQuantumFactoring.BooleanNetwork.packNet_eval line 33
  4. lemma OAI.ExactQuantumFactoring.BooleanNetwork.packNet_count line 36
  5. lemma OAI.ExactQuantumFactoring.append_false line 41
  6. lemma OAI.ExactQuantumFactoring.OrderSlots.triangular_zero line 47
  7. def OAI.ExactQuantumFactoring.OrderSlots.samplerZeroNet line 53
  8. lemma OAI.ExactQuantumFactoring.OrderSlots.samplerZeroNet_eval line 56
  9. lemma OAI.ExactQuantumFactoring.OrderSlots.samplerZeroNet_count line 60
  10. def OAI.ExactQuantumFactoring.OrderSlots.rawZeroNet line 64
  11. lemma OAI.ExactQuantumFactoring.OrderSlots.rawZeroNet_eval line 67
  12. lemma OAI.ExactQuantumFactoring.OrderSlots.rawZeroNet_count line 74
  13. def OAI.ExactQuantumFactoring.OrderSlots.ordinaryZeroNet line 80
  14. lemma OAI.ExactQuantumFactoring.OrderSlots.ordinaryZeroNet_eval line 82
  15. lemma OAI.ExactQuantumFactoring.OrderSlots.ordinaryZeroNet_count line 87
  16. def OAI.ExactQuantumFactoring.OrderSlots.initialNet line 91
  17. lemma OAI.ExactQuantumFactoring.OrderSlots.initialNet_eval line 93
  18. lemma OAI.ExactQuantumFactoring.OrderSlots.initialNet_count line 97
  19. abbrev OAI.ExactQuantumFactoring.OrderSlots.work line 104
  20. abbrev OAI.ExactQuantumFactoring.OrderSlots.launchWidth line 105
  21. def OAI.ExactQuantumFactoring.OrderSlots.launch line 106
  22. lemma OAI.ExactQuantumFactoring.OrderSlots.launch_state line 108
  23. lemma OAI.ExactQuantumFactoring.OrderSlots.launch_length line 113