Zenn
北窓
数学と Lean Prover が好きです。 アイコンは昔「みーなのキャラメータβ版」で作成したもの。
16
Likes
4
Followers
Articles
5
Scraps
0
Comments