pitmonticone / LeanProject

Template for blueprint-driven formalization projects in Lean.

Date Created 2024-07-26 (6 months ago)
Commits 132 (last one 3 days ago)
Stargazers 43 (0 this week)
Watchers 4 (0 this week)
Forks 4
License apache-2.0
Ranking

RepositoryStats indexes 616,225 repositories, of these pitmonticone/LeanProject is ranked #519,033 (16th percentile) for total stargazers, and #381,844 for total watchers. Github reports the primary language for this repository as Python, for repositories using this language it is ranked #101,597/124,655.

pitmonticone/LeanProject is also tagged with popular topics, for these it's ranked: mathematics (#348/381)

Other Information

pitmonticone/LeanProject has 1 open pull request on Github, 19 pull requests have been merged over the lifetime of the repository.

There have been 7 releases, the latest one was published on 2025-02-09 (8 days ago) with the name v4.17.0-rc1.

Homepage URL: https://pitmonticone.github.io/LeanProject/

Star History

Github stargazers over time

454540403535303025252020151510105500Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Watcher History

Github watchers over time, collection started in '23

4444443.53.533333315 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 Feb

Recent Commit History

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

140140120120100100808060604040202000Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25

Yearly Commits

Commits to the default branch (main) per year

14014012012010010080806060404020200020242024

Issue History

Total Issues
Open Issues
Closed Issues
2222111111000015 Oct15 OctNov '24Nov '2415 Nov15 NovDec '24Dec '2415 Dec15 DecJan '25Jan '2515 Jan15 JanFeb '25Feb '2515 Feb15 Feb

Languages

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

PythonPythonShellShellLeanLean

updated: 2025-02-15 @ 05:29pm, id: 834000323 / R_kgDOMbXVww