OAI/Computability/QuantumFactoring/TrialNetworkPolynomial.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.OrderTrial.decodeVars_poly line 18
2. lemma OAI.ExactQuantumFactoring.OrderTrial.firstRetNet_poly line 29
3. lemma OAI.ExactQuantumFactoring.OrderTrial.secondRetNet_poly line 38
4. lemma OAI.ExactQuantumFactoring.OrderTrial.thirdRetNet_poly line 47
5. lemma OAI.ExactQuantumFactoring.OrderTrial.labelValidNet_poly line 56
6. lemma OAI.ExactQuantumFactoring.OrderTrial.trialAcceptOn_poly line 76