Lean repository linked

Algebraic geometric framework of Rogers--Ramanujan identities

Yifeng Huang, Kenny Lau, Ken Ono, Peter Paule · 2026

arXiv:2608.15219 · arXiv

Lean formalisations (1)

AxiomMath/HJOa3Small at `ca38932c74e3`

Linked by the repository’s formalization.yaml.

Project review: author-verified

Audit: awaiting publication.

Report this listing