TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

AxiomMath/CFSG

A Lean formalization of the Classification of Finite Simple Groups

Open source WebsiteOther LeanApache-2.0

Stars

119

Today

+51

last 24 hours

This week

+60

Forks

15

Clone

git clone https://github.com/AxiomMath/CFSG.git

Star growth

2026-10-27: +142026-10-28: +51 (today so far)2026-10-27todaymax +51/day
Stars gained per day since 2026-10-27; the lighter bar is today so far.
Created
2026-10-27
Last commit
2026-10-27
Gained since tracking
+60

Similar in Other

Updated Wed, 28 Oct 2026 15:08:51 GMT · description from the project itself