2014-01-17から1日間の記事一覧

Why3 で遊んでみた

Why3 で遊んでみたのでメモ.インストールで手間取った.環境は Mac OS X 10.9.1 です. Why3 のインストール ※この方法は Mac OS X かつ Homebrew 専用です.Linux や MacPorts でのインストールはわかりません. ソースからは面倒なので,OCaml のパッケー…