OAI/MathematicalPhysics/ContinuumCoulomb/Quantum/QuantumListRouteOutputProgram.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Fixed-round routing, canonical bond merging, and the final threshold margin are one literal polynomial source-output program.

  1. abbrev OAI.ContinuumCoulomb.QuantumListRouteProgram.OutputInput line 12
  2. def OAI.ContinuumCoulomb.QuantumListRouteProgram.outputInputCode line 13
  3. def OAI.ContinuumCoulomb.QuantumListRouteProgram.output line 16
  4. def OAI.ContinuumCoulomb.QuantumListRouteProgram.outputProgram line 19