FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple Groups
Paper • 2608.10894 • Published • 1
Tianjiao Nie
ivwumupy
AI & ML interests
None yet
Recent Activity
authored a paper about 7 hours ago
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)Organizations
None yet
authored 2
papers about 7 hours ago