Lau K, Lee S, Ono K. Formalized q-series: The Rogers-Ramanujan Identities and beyond. TBD. Submitted Submitted. Last updated on 07/02/2026