A Lean formalization of the Classification of Finite Simple Groups
Repository Index
47,133 repositories indexed
1–1 of 1 · Most stars
47,133 repositories indexed
1–1 of 1 · Most stars
A Lean formalization of the Classification of Finite Simple Groups