Link: The Classification of Finite Simple Groups 0 ▲ I write, therefore I am 52 minutes ago · Science · hide · 0 comments Interesting blog with a major result in formalization. No comments yet. Log in to reply on the Fediverse. Comments will appear here.
