Why3 で遊んでみたのでメモ.インストールで手間取った.環境は Mac OS X 10.9.1 です. Why3 のインストール ※この方法は Mac OS X かつ Homebrew 専用です.Linux や MacPorts でのインストールはわかりません. ソースからは面倒なので,OCaml のパッケー…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。