leanprover / doc-gen4

Document Generator for Lean 4

leanprover
leanprover
Date Created 2021-11-11 (3 years ago)
Commits 604 (last one 2 days ago)
Stargazers 84 (0 this week)
Watchers 14 (0 this week)
Forks 42
License apache-2.0
Ranking

RepositoryStats indexes 622,749 repositories, of these leanprover/doc-gen4 is ranked #341,471 (45th percentile) for total stargazers, and #157,654 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #54/133.

Other Information

leanprover/doc-gen4 has Github issues enabled, there are 20 open issues and 66 closed issues.

All Topics
lean4

Star History

Github stargazers over time

9090808070706060505040403030202010100020222022Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Watcher History

Github watchers over time, collection started in '23

1414131312121111101099887766Sep '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

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

60060050050040040030030020020010010000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (main) per year

300300250250200200150150100100505000202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
90908080707060605050404030302020101000Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Languages

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

LeanLeanJavaScriptJavaScriptCSSCSS

updated: 2025-03-03 @ 06:12pm, id: 426835377 / R_kgDOGXD9sQ