OAI/MathematicalPhysics/ContinuumCoulomb/Programs/GaussianFrequencyProgram.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Literal arithmetic for the fixed-density Gaussian frequency evaluator.

  1. opaque OAI.ContinuumCoulomb.GaussianFrequency.countProgram line 10
  2. opaque OAI.ContinuumCoulomb.GaussianFrequency.precisionProgram line 15
  3. opaque OAI.ContinuumCoulomb.GaussianFrequency.radicandProgram line 20
  4. opaque OAI.ContinuumCoulomb.GaussianFrequency.program line 25
  5. def OAI.ContinuumCoulomb.GaussianFrequency.certificate line 29