AwesomeRepos
Sign in

leanprover /lean4

Open on GitHub

Lean 4 programming language and theorem prover

Stars
9,890 stars
Forks
1,092 forks
Language
Lean
License
APACHE-2.0
Created
Apr 15, 2018
Last push
Nov 5, 2026
Updated
Nov 5, 2026
Tags
GitHub topics

Admitted to the Repository Index on Nov 4, 2026: +158 stars in 7 days.

Star History

182 days recorded, May 8, 2026 – Nov 5, 2026 (UTC). Net change +1,976 stars.

Stars at the end of each day9,890 now
May 8, 2026Nov 5, 2026
Net stars each dayhighest +29
+29 on Sep 8, 2026v4.36.0-rc2, Oct 27, 2026v4.36.0-rc1, Oct 14, 2026v4.35.0, Oct 12, 2026v4.35.0-rc4, Oct 6, 2026v4.35.0-rc3, Sep 24, 2026v4.34.1, Sep 24, 2026v4.35.0-rc2, Sep 16, 2026v4.35.0-rc1, Sep 15, 2026v4.34.0, Sep 14, 2026v4.33.1, Aug 21, 2026
May 8, 2026Nov 5, 2026

The star count of each day is the latest count minus 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 leanprover/lean4](https://awesomerepos.com/leanprover/lean4/stars.svg)](https://awesomerepos.com/leanprover/lean4)

Badge

[![AwesomeRepos](https://awesomerepos.com/leanprover/lean4/badge.svg)](https://awesomerepos.com/leanprover/lean4)

Timeline

It gained stars on each of the 182 days recorded since May 8, 2026.

Its largest 7 days were Sep 8, 2026 to Sep 14, 2026: 163 stars.

In the 30 days to Nov 5, 2026 it got 483 stars, 12% more than in the 30 days before.

It had 7,914 stars before May 8, 2026 and has 9,890 stars now: 110 fewer than 10,000.

  1. Created on the Repository Host
  2. Release v4.33.1
  3. Largest star day recorded: +29 stars
  4. +29 stars in one day
  5. +27 stars in one day
  6. Release v4.34.0
  7. Release v4.34.1
  8. Release v4.35.0
  9. Entered the Repository Index: +158 stars in 7 days
  10. Latest push

The timeline comes from the creation date and the releases on the Repository Host, the Admission, the Star History, and the Observations. Star milestones show only when the Star History records the day. The list shows up to 5 stable releases from the latest 10 releases recorded. When none of them is stable, one item counts the pre-releases. On the chart of net stars each day, a solid line marks each recorded release.

Forks and pushes

From 2 Observations, Nov 5, 2026 – Nov 6, 2026. Forks +3. AwesomeRepos saw a new push on 1 of 1 days.

Forks1,092
  1. Nov 6, 2026: new push

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

Health facts

Measured facts in four separate dimensions, each with a date and a source. AwesomeRepos does not add them into one score. AwesomeRepos last read these facts from GitHub on Nov 6, 2026. How AwesomeRepos defines each check

Maintenance

4 of 4 checks

  • Yes: Not archived

    GitHub does not mark the repository as archived. Source

  • Yes: A push in the last 90 days

    Last push on 2026-11-05, 0 days ago. Source

  • Yes: Commits in the last 13 weeks

    923 commits on the default branch in the last 13 weeks (GitHub, 2026-11-06). Source

  • Yes: Commits in 26 or more of the last 52 weeks

    Commits in 52 of the last 52 weeks (GitHub, 2026-11-06). Source

  1. 41
  2. 109
  3. 89
  4. 70
  5. 87
  6. 102
  7. 37
  8. 31
  9. 54
  10. 57
  11. 54
  12. 94
  13. 78
  14. 100
  15. 114
  16. 94
  17. 72
  18. 64
  19. 72
  20. 106
  21. 78
  22. 55
  23. 44
  24. 55
  25. 37
  26. 59
  27. 34
  28. 49
  29. 34
  30. 43
  31. 48
  32. 60
  33. 58
  34. 43
  35. 82
  36. 61
  37. 81
  38. 51
  39. 40
  40. 53
  41. 69
  42. 52
  43. 33
  44. 51
  45. 58
  46. 70
  47. 76
  48. 67
  49. 70
  50. 87
  51. 118
  52. 119
Commits on the default branch each week, the oldest week at the left.

Releases

3 of 3 checks

  • Yes: A release in the last 365 days

    Newest release v4.36.0-rc2 on 2026-10-27, 9 days ago. 10 or more releases in the last 365 days. Source

  • Yes: The newest release tag is a semantic version

    The newest release tag is v4.36.0-rc2. Source

  • Yes: A changelog file at the root

    RELEASES.md at the root (GitHub, 2026-11-06). Source

Security practice

0 of 1 check

  • No: A security policy

    GitHub finds no security policy (GitHub, 2026-11-06).

OpenSSF Scorecard: 14 checks on Oct 19, 2026

Each check has its own score, from 0 to 10. AwesomeRepos does not show the Scorecard aggregate score, and these checks are not in the count above. Source

Binary-Artifacts
10 of 10
Branch-Protection
No result
CII-Best-Practices
0 of 10
Code-Review
1 of 10
Dangerous-Workflow
10 of 10
Fuzzing
0 of 10
License
10 of 10
Maintained
10 of 10
Packaging
No result
Pinned-Dependencies
4 of 10
SAST
0 of 10
Security-Policy
0 of 10
Signed-Releases
0 of 10
Token-Permissions
0 of 10

Community files

2 of 3 checks

  • Yes: A licence

    GitHub finds the licence APACHE-2.0. Source

  • Yes: A contributing guide

    GitHub finds a contributing guide (GitHub, 2026-11-06). Source

  • No: A code of conduct

    GitHub finds no code of conduct (GitHub, 2026-11-06).

Dependencies in the index

This section shows the packages that connect this repository to other repositories in the index.

The GitHub dependency graph of this repository names 30 direct packages (scanned on Nov 6, 2026). Packages from 2 other repositories in the index are among them.

No scanned repository names a package from this repository.

UsesUsed byleanprover/lean4Textualize/richTextualize/richpallets/clickpallets/clickNone in the scan
An arrow points from the repository that names a package to the repository that the package comes from.

Uses (in the index) · 2

Used by (in the index) · 0

None.

Sources: the GitHub dependency graph of each repository, and deps.dev for the source repository of each package (checked on Nov 3, 2026). A dependency graph also names development packages. deps.dev takes most source repositories from package metadata. How the dependency graph is made

Observations

Latest Observation, Nov 6, 2026: 9,890 stars, 1,092 forks, last push Nov 5, 2026, not archived. One of 2 Observations since Nov 5, 2026.

Report a problem with this page

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