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