Why3 で遊んでみた - amutake's blogWhy3 で遊んでみたのでメモ．インストールで手間取った．環境は Mac OS X 10.9.1 です． Why3 のインストール ※この方法は Mac OS X かつ Homebrew 専用です．Linux や MacPorts でのインストールはわかりません． ソースからは面倒なので，OCaml のパッケージマネージャである opam でいれます．(追記: https://github.com/mht208/homebrew-formal に Why3 の formulae があったのでそっちのほうが簡単かもしれない(試してない)) まず依存ライブラリなどをインストール． XQuartz をインストール インストール後は再ログインが必要かもしれない brew install gmp brew install gtksourceview XQuartz が必要 次に，https://gi
