loganrjmurphy / LeanEuclid

LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.

Date Created 2024-05-27 (8 months ago)
Commits 14 (last one 8 months ago)
Stargazers 84 (0 this week)
Watchers 7 (0 this week)
Forks 5
License mit
Ranking

RepositoryStats indexes 616,861 repositories, of these loganrjmurphy/LeanEuclid is ranked #339,142 (45th percentile) for total stargazers, and #273,934 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #53/131.

Other Information

loganrjmurphy/LeanEuclid has Github issues enabled, there is 1 open issue and 0 closed issues.

Homepage URL: http://arxiv.org/abs/2405.17216

Star History

Github stargazers over time

90908080707060605050404030302020101000Jun '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

776.56.5665.55.5554.54.544Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Recent Commit History

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

1414121210108866442200Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (master) per year

141412121010886644220020242024

Issue History

Total Issues
Open Issues
Closed Issues
1111110.50.5000000Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Languages

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

LeanLeanTeXTeXPythonPythonDockerfileDockerfileShellShellCSSCSSPerlPerl

updated: 2025-02-05 @ 10:47am, id: 806353877 / R_kgDOMA_71Q