usadamasa

25 Contribution

/ Following users

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

デジタルプロダクトデザイナー

software engineer