Zenn
ゆーちき
型理論とか形式検証に興味がありました 今はKubernetesを触っています
172
Likes
8
Followers
Articles
17
Scraps
0
Comments