leanprover/lean4

Lean 4 programming language and theorem prover

Lean9,394 stars1,019 forksApache-2.0

leanlean4

Rankings

PeriodRankScore

Daily

#18585.1

Weekly

#36638.4

Monthly

#545318.2

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #272

Format

Markdown

[![leanprover/lean4 badge](https://trending-repos.com/badge/leanprover/lean4.svg?v=3)](https://trending-repos.com/repositories/leanprover/lean4?utm_source=github&utm_medium=badge)

Back to trending