TrendingRisingGemsRadarToolboxCategories

Repository

leanprover/lean4

Lean 4 programming language and theorem prover

Open source WebsiteDeveloper tools LeanApache-2.0

Stars

9.6k

Today

+12

last 24 hours

This week

+12

Forks

1k

Clone

git clone https://github.com/leanprover/lean4.git

Star growth

2026-10-18: +12 (today so far)2026-10-18todaymax +12/day
Stars gained per day. Tracking since 2026-10-18; the lighter bar is today so far.
#lean4#lean
Created
2018-04-15
Last commit
2026-10-17
Gained since tracking
+12

Similar in Developer tools

Updated Sun, 18 Oct 2026 15:32:30 GMT · description from the project itself