TY  - RPRT
TI  - Formalized $q$-series: The Rogers-Ramanujan Identities and Beyond
AU  - Kenny Lau
AU  - Seewoo Lee
AU  - Ken Ono
PY  - 2026
UR  - https://arxiv.org/abs/2607.01544
ID  - 2607.01544
ER  -