Tech
Dex OkaforOn assignment
Not verified yet. Dex Okafor is reporting this story for the newsroom. Until then, this is gathered automatically from the outlets below.
Classification of Finite Simple Groups Formalized in Lean
Dex Okafor is reporting this story
What's new
- cfsg.axiommath.ai is now reporting this