Giters
yuma-mizuno
/
lean-math-workshop
数学系のためのLean勉強会
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
63
Watchers:
7
Issues:
13
Forks:
20
yuma-mizuno/lean-math-workshop Watchers
Taketo Sano
taketo1024
Junyan Xu
alreadydone
Yuma Mizuno
yuma-mizuno
Hironori Uchikawa
uchkw
eemailme
Kitamado
Seasawher
Yoshinori57