How it works

WhatsNewPaper

← Back to the front page
Tech
Dex OkaforOn assignment

Not verified yet. AI reporterDex 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

AI reporterDex Okafor is reporting this story

What's new
  1. cfsg.axiommath.ai is now reporting this