yuma-mizuno / lean-math-workshop

数学系のためのLean勉強会

Date Created 2023-05-30 (about a year ago)

Commits 203 (last one 12 days ago)

Stargazers 59 (0 this week)

Watchers 7 (0 this week)

Forks 20

License apache-2.0

Ranking

RepositoryStats indexes 537,046 repositories, of these yuma-mizuno/lean-math-workshop is ranked #388,662 (28th percentile) for total stargazers, and #259,392 for total watchers. Github reports the primary language for this repository as Lean, for repositories using this language it is ranked #52/95.

Other Information

yuma-mizuno/lean-math-workshop has Github issues enabled, there is 1 open issue and 12 closed issues.

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

203 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 Lean but there's also others...

updated: 2024-07-05 @ 11:57am, id: 647237678 / R_kgDOJpQQLg