OAI/Computability/QuantumFactoring/FactorVerifierEmission.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.productOfFn line 14
2. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.primeOrZero line 39
3. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.paddedPair line 43
4. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.unpadWord line 47
5. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.candidateProduct line 51
6. lemma OAI.ExactQuantumFactoring.NetworkEmission.NetEmits.factorVerifier line 59