@misc{indiciaeb5113828c520,
  title = {Formalized \$q\$-series: The Rogers-Ramanujan Identities and Beyond},
  author = {Kenny Lau and Seewoo Lee and Ken Ono},
  year = {2026},
  url = {https://arxiv.org/abs/2607.01544},
  note = {Source identifier: 2607.01544}
}