Klassifikation endlicher einfacher Gruppen in Lean formalisiert
Mathematiker haben die Klassifikation endlicher einfacher Gruppen erfolgreich mit dem Beweisassistenten Lean formalisiert.
Mathematiker haben die Klassifikation endlicher einfacher Gruppen erfolgreich mit dem Beweisassistenten Lean formalisiert.