ENTITY Tadeusz Jordan-Rozwadowski

Tadeusz Jordan-Rozwadowski

PulseAugur coverage of Tadeusz Jordan-Rozwadowski — every cluster mentioning Tadeusz Jordan-Rozwadowski across labs, papers, and developer communities, ranked by signal.

Show in brief

Total · 30d

1 over 90d

Releases · 30d

0 over 90d

Papers · 30d

1 over 90d

TIER MIX · 90D

TOPICS

paper 1
other 1

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

TOOL · CL_326260 · Oct 27 · 16:29

Finite Simple Groups Classification Formalized in Lean Proof Assistant

A significant mathematical achievement has been formalized in the Lean proof assistant, detailing the classification of finite simple groups. This extensive project, involving numerous mathematicians, has resulted in a …

Finite Simple Groups Classification Formalized in Lean Proof Assistant