Zenn
北窓
数学と Lean 言語が好きです。
27
Likes
17
Followers
Articles
6
Scraps
0
Comments