Today, Axiom Math is releasing a Lean formalization of Intro to Cluster Algebras Chapter 1-7 by Fomin, Williams, and Zelevinsky.
The theories in this text show up from geometry to particle scattering.
We showcase AxiomProver’s library learning capabilities across many domains.