yuukicammy

https://github.com/xiangze

Mackerel アンバサダー

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

Qiitaを作っているIncrements株式会社の創業者

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