bestofgithub.dev

← Back to the directory

leanprover/lean4

View on GitHub

Lean 4 programming language and theorem prover

leanprover/lean4 is #2,120 on the bestofgithub Elo ladder, in Platinum II, with a rating of 1,714 (+52 this week). It has 10,010 stars, 92 gained in the last week.

Platinum II

1,714 Elo

  • #2,120 on the ladder
  • +6 today · +52 this week
  • Peak 1,714
12 Elo to Platinum I

Stars

10,010

  • +8 today
  • +92 this week
  • – this month

Repository

Forks
1.1k
Watchers
87
Language
Lean
Last push

Achievements

bestofgithub badgeMaintainer? Show your league in your README

Card: your league's emblem, from Copper to Legendary

[![bestofgithub](https://bestofgithub.dev/badge/leanprover/lean4.svg?style=card)](https://bestofgithub.dev/repo/leanprover/lean4)

Flat: fits beside your other badges

[![bestofgithub](https://bestofgithub.dev/badge/leanprover/lean4.svg)](https://bestofgithub.dev/repo/leanprover/lean4)

Install

git
git clone https://github.com/leanprover/lean4.git
v4.35.01mo ago

README

Loading README…