lean-dojo / ReProver

Retrieval-Augmented Theorem Provers for Lean

lean-dojo
lean-dojo
Date Created 2023-03-16 (about a year ago)
Commits 125 (last one about a month ago)
Stargazers 257 (2 this week)
Watchers 10 (0 this week)
Forks 56
License mit
Ranking

RepositoryStats indexes 622,749 repositories, of these lean-dojo/ReProver is ranked #155,421 (75th percentile) for total stargazers, and #210,085 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #27,537/126,369.

lean-dojo/ReProver is also tagged with popular topics, for these it's ranked: machine-learning (#3,005/8315)

Other Information

lean-dojo/ReProver has Github issues enabled, there is 1 open issue and 21 closed issues.

Homepage URL: https://leandojo.org

Star History

Github stargazers over time

300300250250200200150150100100505000Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

10109.59.5998.58.5887.57.5776.56.5665.55.555Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Recent Commit History

125 commits on the default branch (main) since jan '22

140140120120100100808060604040202000Jul '23Jul '23Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

6060505040403030202010100020242024

Issue History

Total Issues
Open Issues
Closed Issues
25252020151510105500Aug '23Aug '23Sep '23Sep '23Oct '23Oct '23Nov '23Nov '23Dec '23Dec '2320242024Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Languages

The primary language is Python but there's also others...

PythonPythonShellShell

updated: 2025-03-05 @ 01:18pm, id: 615015099 / R_kgDOJKhiuw