FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple Groups (arxiv.org)
Large-scale formalization of advanced mathematics requires more than translating individual statements: it must reconstruct a coherent theory distributed across heterogeneous sources. This process rai...
FormaTheoria: Constructing large-scale lean theories from mathematical literature (Toward the formalization of the classification of finite simple groups). ~ Tianjiao Nie, Ao Zhang, Yusen Tang, Damiano Testa, Shing-Tung Yau, Peng Li, Yuan Zhou. arxiv.org/abs/2608.108...
