leanprover/lean4

leanprover/lean4 has 9,911 GitHub stars and 1,094 forks. GitHot measured +11 stars in 24 hours. Last checked 2026-11-08 03:13 UTC. Last push 2026-11-06.

How these counts are measured

Lean 4 programming language and theorem prover

9,911 stars 1,094 forks +11 in 24h

Measured star growth

in 24h: +11
in 7 days: Collecting history
in 15 days: Collecting history
in 1 month: Collecting history

Net star changes over overlapping periods, not daily totals. Missing measurements are left blank. Stars measure attention, not software quality.

README.md

Original

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.

Explore related projects

codecrafters-io/build-your-own-x

Master programming by recreating your favorite technologies from scratch.

560,813 stars

public-apis/public-apis

A collective list of free APIs

497,049 stars

morluto/rea

Reverse engineer anything with agents, from app behavior down to native binaries.

441,309 stars

openclaw/openclaw

The AI that really does things. Any OS. Any Platform. The lobster way. 🦞

394,152 stars