Lean 4 formalization companion and corrected LaTeX/PDF for resonance determinants and uniform cyclotomic towers.
-
Updated
Aug 12, 2026 - TeX
#
q-series
Here are 4 public repositories matching this topic...
An infinite family disproving Warnaar–Zudilin Conjecture 5, with a self-contained proof and independent exact verifiers.
-
Updated
Jul 27, 2026 - Python
Code and generated data for numerical verification of Airy turning-point asymptotics for Ramanujan's A_q function
-
Updated
Jul 29, 2026 - Python
A Lean 4 + Mathlib formalization of Hei-Chi Chan's 'An Invitation to q-Series' — 255k lines, 26.5k theorems, every chapter-main result verified on Lean's core axioms
-
Updated
Aug 25, 2026 - Lean
Add this topic to your repo
To associate your repository with the q-series topic, visit your repo's landing page and select "manage topics."