D. Testa

activity

20062026

most citedBig rational surfaces

64 citations · 193 across the 24 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.LO2026

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 +4

Large-scale formalization of advanced mathematics requires more than translating individual statements: it must reconstruct a coherent theory distributed across heterogeneous sourc…

math.GR2026

Fitting's Theorem and Semirings of Normal Subgroups

Damiano Testa

We define a non-unital, generally non-associative, commutative semiring structure on the collection of normal subgroups of a group $G$ . This viewpoint allows us to recast in ring-t…

FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature − Toward the Formalization of the Classification of Finite Simple Groups

Fitting's Theorem and Semirings of Normal Subgroups

FormaTheoria: Constructing Large-Scale Lean Theories from Mathematical Literature $-$ Toward the Formalization of the Classification of Finite Simple Groups