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 21 hours ago
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)Organizations
None yet
upvoted a paper 1 day ago