leanprover/lean4 - 7.9k Stars · Global Rank #6858

Global Rank#6858Apr 27, 2026

since Apr 2018

leanprover/lean4

Lean 4 programming language and theorem prover

LeanApache-2.0

7.9k

826

277

Weekly

13stars

·

39pushes

Stars

Contributors

New Stars

New Pushes

Forks

star-history.com

Share

GitHub README

<p align="center">
 <a href="https://www.star-history.com/leanprover/lean4">
  <picture>
   <source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/badge?repo=leanprover/lean4&theme=dark" />
   <source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/badge?repo=leanprover/lean4" />
   <img alt="Star History Rank" src="https://api.star-history.com/badge?repo=leanprover/lean4" />
  </picture>
 </a>
</p>

Markdown (Light)

[![Star History Rank](https://api.star-history.com/badge?repo=leanprover/lean4)](https://www.star-history.com/leanprover/lean4)

Markdown (Dark)

[![Star History Rank](https://api.star-history.com/badge?repo=leanprover/lean4&theme=dark)](https://www.star-history.com/leanprover/lean4)

HTML (Light)

<p align="center">
 <a href="https://www.star-history.com/leanprover/lean4"><img src="https://api.star-history.com/badge?repo=leanprover/lean4" alt="Star History Rank" /></a>
</p>

HTML (Dark)

<p align="center">
 <a href="https://www.star-history.com/leanprover/lean4"><img src="https://api.star-history.com/badge?repo=leanprover/lean4&theme=dark" alt="Star History Rank" /></a>
</p>