yuukicammy

https://github.com/xiangze

Mackerel アンバサダー

管理下のTechnowブログにお引越し中。 https://technow.grayrecord.com/

Qiita株式会社の創業者です。Qiitaのご利用ありがとうございます。

Coqなどによるプログラムの正しさの検証・証明に興味があります。