OAI/Computability/QuantumFactoring/NativeAIGProcedures.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ExactQuantumFactoring.NativeAIG.refCode line 15
  2. abbrev OAI.ExactQuantumFactoring.NativeAIG.keyCode line 16
  3. abbrev OAI.ExactQuantumFactoring.NativeAIG.entryCode line 17
  4. def OAI.ExactQuantumFactoring.NativeAIG.declView line 18
  5. def OAI.ExactQuantumFactoring.NativeAIG.declCode line 22
  6. def OAI.ExactQuantumFactoring.NativeAIG.graphCode line 23
  7. def OAI.ExactQuantumFactoring.NativeAIG.Emission.refEq line 27
  8. def OAI.ExactQuantumFactoring.NativeAIG.Emission.keyEq line 29
  9. def OAI.ExactQuantumFactoring.NativeAIG.Emission.lookupP line 31
  10. def OAI.ExactQuantumFactoring.NativeAIG.Emission.decls line 38
  11. def OAI.ExactQuantumFactoring.NativeAIG.Emission.cache line 40
  12. def OAI.ExactQuantumFactoring.NativeAIG.Emission.packGraph line 42
  13. def OAI.ExactQuantumFactoring.NativeAIG.Emission.atomDecl line 44
  14. def OAI.ExactQuantumFactoring.NativeAIG.Emission.gateDecl line 46
  15. def OAI.ExactQuantumFactoring.NativeAIG.Emission.zeroDecl line 48
  16. def OAI.ExactQuantumFactoring.NativeAIG.Emission.singleton line 52
  17. def OAI.ExactQuantumFactoring.NativeAIG.Emission.emptyP line 54
  18. def OAI.ExactQuantumFactoring.NativeAIG.Emission.atomP line 56
  19. def OAI.ExactQuantumFactoring.NativeAIG.Emission.addGateP line 65
  20. def OAI.ExactQuantumFactoring.NativeAIG.Emission.constantP line 76