Lean repository linked
Modularity of Point Counts for the Curves Xᵃ=Yᵇ: New Rogers–Ramanujan Identities
arXiv:2608.05480 · arXiv
Lean formalisations (1)
AxiomMath/RR_a3 at a732b1a5e38b
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.