OAI/Computability/QuantumFactoring/NativeAIGZipFold.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.ExactQuantumFactoring.NativeAIG.BinOp line 14
  2. def OAI.ExactQuantumFactoring.NativeAIG.zipLoop line 15
  3. def OAI.ExactQuantumFactoring.NativeAIG.zipVec line 20
  4. def OAI.ExactQuantumFactoring.NativeAIG.foldLoop line 22
  5. def OAI.ExactQuantumFactoring.NativeAIG.foldVec line 27
  6. lemma OAI.ExactQuantumFactoring.NativeAIG.zipLoop_rel line 37
  7. lemma OAI.ExactQuantumFactoring.NativeAIG.zipVec_rel line 62
  8. lemma OAI.ExactQuantumFactoring.NativeAIG.foldLoop_rel line 67
  9. lemma OAI.ExactQuantumFactoring.NativeAIG.foldVec_rel line 87
  10. def OAI.ExactQuantumFactoring.NativeAIG.eqGate line 93
  11. lemma OAI.ExactQuantumFactoring.NativeAIG.eqGate_rel line 94
  12. def OAI.ExactQuantumFactoring.NativeAIG.eqVec line 121
  13. lemma OAI.ExactQuantumFactoring.NativeAIG.eqVec_rel line 124