Classification of Finite Simple Groups Formalized in Lean

57 minutes ago 1

Article URL: https://cfsg.axiommath.ai/

Comments URL: https://news.ycombinator.com/item?id=50261647

Points: 6

# Comments: 3

Read Entire Article