プログラムの正しさの検証・証明に興味があります。 Coq, OCaml, Ruby http://t.co/VuS5dCWI9k / http://t.co/RtwoFFNazf
投稿したプロジェクトはまだありません。