Tokyo, Japan
Asai Lab, Ocha
No Organizations you are following
No tags you are following
Coqなどによるプログラムの正しさの検証・証明に興味があります。