Sign in

AxiomMath /CFSG

A Lean formalization of the Classification of Finite Simple Groups

Stars
156 stars
Forks
22 forks
Language
Lean
License
APACHE-2.0
Created
Oct 27, 2026
Last push
Oct 27, 2026
Updated
Nov 2, 2026

Admitted to the Repository Index on Oct 29, 2026: +131 stars in 7 days.

Star History

8 days recorded, Oct 27, 2026 – Nov 3, 2026 (UTC). Net change +165 stars.

Stars at the end of each day156 now
100
Oct 27, 2026Nov 3, 2026
Net stars each dayhighest +97
+97 on Oct 27, 2026
Oct 27, 2026Nov 3, 2026

The star count of each day is the latest count less the net stars of the later days.

Add this Star History to a README

The images follow the light or dark theme of the page that shows them, and update every hour. Add ?theme=light or ?theme=darkto the chart address to keep one theme.

Star History chart

[![Star History of AxiomMath/CFSG](https://awesomerepos.com/AxiomMath/CFSG/stars.svg)](https://awesomerepos.com/AxiomMath/CFSG)

Badge

[![AwesomeRepos](https://awesomerepos.com/AxiomMath/CFSG/badge.svg)](https://awesomerepos.com/AxiomMath/CFSG)

Timeline

This repository got 97 stars on Oct 27, 2026, the day it was created: its largest day recorded.

It gained stars on each of the 8 days with a record.

It reached 100 stars on Oct 28, 2026, 1 day after it was created.

  1. Created on the Repository Host
  2. Largest star day recorded: +97 stars
  3. Latest push
  4. Reached 100 stars
  5. +36 stars in one day
  6. Entered the Repository Index: +131 stars in 7 days
  7. +10 stars in one day

From the Repository Host's creation date and releases, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. On the chart of net stars each day, a solid line marks a release.

Forks and pushes

From 5 Observations, Oct 30, 2026 – Nov 3, 2026. Forks +6. A new push was seen on 0 of 4 days.

Forks22
  1. Oct 31, 2026: no new push
  2. Nov 1, 2026: no new push
  3. Nov 2, 2026: no new push
  4. Nov 3, 2026: no new push

A filled day: the last push time changed since the Observation before it.

Observations

What the Repository Host reported each day.

Day (UTC)StarsForksLast pushArchived
Nov 3, 202615622Oct 27, 2026No
Nov 2, 202615422Oct 27, 2026No
Nov 1, 202615219Oct 27, 2026No
Oct 31, 202614618Oct 27, 2026No
Oct 30, 202613716Oct 27, 2026No
Report a problem with this page

Do not include personal data. AwesomeRepos keeps the message, the page, and the time.