Tag: 証明駆動開発
Coq開発環境の導入
証明駆動開発で有効なツールであるCoqの導入についてメモを残します。 # Homebrewを使ってCoqをいれる MacであればHomebrewを使ってインストールできます。 ``` brew install coq ``` ただ、おそらく最新版を常にインストールできるようなサポートは...