Classification of finite simple groups formalized in Reza (Score: 150+ in 6 hours) Link: Notes.

Want to see every report in real time?

Hundreds of sources worldwide, translated into your language, with alerts for what matters to you.