University of Tokyo
No Organizations you are following
Haskellプログラマです。
Coqなどによるプログラムの正しさの検証・証明に興味があります。
