leanprover / lean3

Lean Theorem Prover

Date Created 2013-07-17 (11 years ago)

Commits 13,725 (last one 11 months ago)

Stargazers 2,147 (0 this week)

Watchers 116 (0 this week)

Forks 217

License apache-2.0

This repository has been archived on Github

Ranking

RepositoryStats indexes 565,279 repositories, of these leanprover/lean3 is ranked #23,317 (96th percentile) for total stargazers, and #14,697 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #1,220/30,279.

leanprover/lean3 is also tagged with popular topics, for these it's ranked: programming-language (#77/704)

Other Information

leanprover/lean3 has Github issues enabled, there are 58 open issues and 1,066 closed issues.

There have been 8 releases, the latest one was published on 2019-01-18 (5 years ago)

Homepage URL: http://leanprover.github.io/

All Topics

lean type-theory verification dependent-types theorem-proving programming-language

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is C++ but there's also others...

updated: 2024-09-26 @ 05:25am, id: 11463670 / R_kgDOAK7r9g