4. Technical terms🔗

• Declaration: a named Lean definition or theorem.

• Axiom: a statement that the proof system accepts without a proof.

• Comparator: the tool that compares a solution with an independent theorem statement.

• Finite difference: a finite linear combination of nearby function values.

• Theta function: the function given by the exponential series used in the argument.

• Transform: an integral that relates one function to another function.

• Cusp: the boundary point where the transformed theta expression needs a decay estimate.

• Kernel: the weight function inside an integral transform.

• CI: the hosted workflow that builds the library and runs the proof checks.