Coq をインストールしてみた

今日、現場の昼休みに、最近噂の Coq のチュートリアルを見つけたので、早速インストールしてみる。

Fedora 15 でアプリケーションの追加と削除を開くと、Coq 8.3がリストアップされてきたので、チェックを入れて適用。

さらに、端末を開いて coqide と打ち込んでみると、ひとしきり追加のインストールが実行されたあと、CoqIDE が開いた。 とりあえず、チュートリアル 一回目の練習問題を解いてみるが、初回なんで難しくない。

結構面白い。明日もやろっと。