mzp

これまでに2回支援しています

  • 在住国:未設定
  • 出身国:未設定

プログラムの正しさの検証・証明に興味があります。 Coq, OCaml, Ruby http://t.co/VuS5dCWI9k / http://t.co/RtwoFFNazf

    投稿したプロジェクトはまだありません。