The-Mock-Theta-Framework-From-the-Natural-Boundary-through-L-Values-to-Verified-Algebra

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Joesph Daniel Burke III
DOI: 10.5281/zenodo.20635181
Cited by: 3

Abstract

About Lean 4 formalization of the mock-theta cyclotomic framework: 9 theorems, 0 sorries, standard axioms only.Companion to Burke 2026 (https://zenodo.org/records/20472393 / https://zenodo.org/records/20467198 / https://zenodo.org/records/20481749

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
11 June 2026