TopGit
GITHUB SNAPSHOT

leanprover/lean4

LTopGit repo profile image for leanprover/lean4
TopGit repo profile for leanprover/lean4, with GitHub repository stats and README context.
Stars
★ 8.9k
Forks
⑂ 944
Language
Lean
Topic
—
License
Apache-2.0
Updated
1d ago
Contributors
—
Homepage
View on GitHub ↗
QUICK VERDICT

As an open-source project, leanprover/lean4 has picked up 8.9k stars on GitHub (Lean). Lean 4 programming language and theorem prover

Snapshot summary built from the project's own GitHub metadata — there's no written TopGit review yet. The page will update automatically when a full review is published.

WHY NO REVIEW YET

TopGit writes full reviews for the most-starred, most-requested repositories. This page is a snapshot until then — see the READ ME tab for the original README in full.

Snapshot

Stars★ 8.9k
Forks⑂ 944
LanguageLean
Topic—
LicenseApache-2.0
HomepageView ↗

Read our review methodology ↗

Top contributors

Show top contributors
Top 21 contributors to leanprover/lean4

Related repositories

codecrafters-io/build-your-own-x

Master programming by recreating your favorite technologies from scratch.

★ 541.3k
sindresorhus/awesome

A curated meta-list of curated lists organized by technology domain. The repository acts as a directory pointing to hundreds of specialized awesome lists covering programming languages, platforms, frameworks, and tooling. All content is community-contributed under the CC0 public domain dedication.

★ 494.1k
public-apis/public-apis

Public APIs is a community-curated GitHub repository listing free, publicly accessible APIs across a wide range of categories, with auth type, HTTPS, and CORS noted for each entry. It's a browsable reference, not a library to install.

★ 468.0k
freeCodeCamp/freeCodeCamp

freeCodeCamp is a free, self-paced curriculum for learning to code, published as open source at freeCodeCamp/freeCodeCamp. It's a 501(c)(3) nonprofit funded by donor support, structured around six certifications in its Full-Stack Developer Curriculum, each gated by required projects instead of open-book quizzes. The repository also carries beta language certifications for developers, interview-prep resources, and the code that runs the live freecodecamp.org platform.

★ 454.3k
FREQUENTLY ASKED

Quick answers

How active is development on leanprover/lean4?

The most recent commit recorded on leanprover/lean4 was today, based on the GitHub push timestamp. The repository has 944 forks — one of the better signals of community interest.

How many stars does leanprover/lean4 have?

leanprover/lean4 has 8.9k GitHub stars — refresh the page for the live number, or check github.com/leanprover/lean4. TopGit mirrors GitHub's count but does not claim minute-by-minute accuracy.

What language is leanprover/lean4 written in?

leanprover/lean4 is written primarily in Lean. GitHub's language field is based on the largest share of bytes in the default branch.

What license does leanprover/lean4 use?

leanprover/lean4 is released under the Apache-2.0 license. Always verify the LICENSE file directly on GitHub for the authoritative terms — license strings can be edited out of sync with a project's actual stance.

What topics is leanprover/lean4 associated with?

GitHub's repository topics for leanprover/lean4: "lean", "lean4". TopGit's editorial category is open-source.

Where can I see leanprover/lean4 in action?

The project maintains a homepage at https://lean-lang.org. The README tab on this page also usually contains screenshots and a quickstart.

Where do I read more about leanprover/lean4?

This TopGit page is a snapshot — the READ ME tab shows the project's own README content (links stripped, images preserved). The GitHub repository at github.com/leanprover/lean4 is the definitive source.

Read full README in the tab above.

Want a second opinion on lean4?

Ask an AI that can read this page — one click and you get its take on lean4.

Ask ChatGPTAsk ClaudeAsk PerplexityAsk Google AI ModeAsk KimiAsk Grok
GitHub