OAI/Computability/QuantumFactoring/NetworkEmissionWords.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ExactQuantumFactoring.NetworkEmission.pairPack_spec line 15
  2. lemma OAI.ExactQuantumFactoring.NetworkEmission.compPack_spec line 20
  3. def OAI.ExactQuantumFactoring.NetworkEmission.borPack line 25
  4. def OAI.ExactQuantumFactoring.NetworkEmission.bxorPack line 26
  5. def OAI.ExactQuantumFactoring.NetworkEmission.muxPack line 27
  6. lemma OAI.ExactQuantumFactoring.NetworkEmission.borPack_value line 28
  7. lemma OAI.ExactQuantumFactoring.NetworkEmission.bxorPack_value line 32
  8. lemma OAI.ExactQuantumFactoring.NetworkEmission.muxPack_value line 37
  9. def OAI.ExactQuantumFactoring.NetworkEmission.wordConstPack line 43
  10. lemma OAI.ExactQuantumFactoring.NetworkEmission.wordConstPack_value line 44
  11. def OAI.ExactQuantumFactoring.NetworkEmission.wordMuxPack line 53
  12. lemma OAI.ExactQuantumFactoring.NetworkEmission.wordMuxPack_value line 56
  13. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.borPackP line 67
  14. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.bxorPackP line 69
  15. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.muxPackP line 74
  16. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.wordConstPackP line 80
  17. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.muxVectorPackP line 93
  18. def OAI.ExactQuantumFactoring.NetworkEmission.Emission.wordMuxPackP line 108