Lean 4 + Mathlib proofs in Ramanujan mathematics: modular forms, partitions, q-series, mock theta identities, and certified finite recurrences.
Lean Updated 3 days ago 1 commits
prism-dev|Mirror: tomdif/RamanujanLean (⭐0)
3 days agoAbout
Lean 4 + Mathlib proofs in Ramanujan mathematics: modular forms, partitions, q-series, mock theta identities, and certified finite recurrences.
Readme