Eberl, The Rogers–Ramanujan Identities, Archive of Formal Proofs , December 2024, https://isa-afp.org/ entries/Rogers_Ramanujan.html, Formal proof development
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it