ゆーちき

型理論とか形式検証に興味がありました 今はKubernetesを触っています