yono@github

33 Contribution

/ Following users

Works: Web Developer Language: Ruby, Java, PHP

hungry....

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