BlogNov 2026
Cluster Algebras, Formalized in Lean
BlogNov 2026
The Weil conjectures formalized in Lean
BlogNov 2026
The Stacks Project, formalized in Lean
NewsOct 2026
Scientific American: Mathematicians find an infinite number of Ramanujan equations
PublicationOct 2026
An Asymptotic Jensen–Pólya Criterion for GRH
PublicationOct 2026
The Unbalanced Group Theorem
BlogOct 2026
Formalizing the Enormous Theorem
