leanprover / lean3

Lean Theorem Prover

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

Commits 13,725 (last one about a year ago)

Stargazers 2,151 (0 this week)

Watchers 116 (0 this week)

Forks 217

License apache-2.0

This repository has been archived on Github

Ranking

RepositoryStats indexes 589,134 repositories, of these leanprover/lean3 is ranked #23,840 (96th percentile) for total stargazers, and #14,817 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #1,263/31,488.

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

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-12-03 @ 07:36am, id: 11463670 / R_kgDOAK7r9g