Coqの入門記事を書く会 (1) - ひとり勉強会

証明支援系Coqの遊び方の入門を書いてみるよ。すでに世の中に何個も入門記事ありますけど、増えて困ることはなかろう…ということで。まず、インストール方法については、id:yoshihiro503 による紹介記事 http://d.hatena.ne.jp/yoshihiro503/20070706#p1 最近パソコンを買ったんだけど、使い方がよく解らない。という人のために、今日はCoqのインストールの方法を紹介しよう。 を参照のこと。現時点では最新の安定版の Coq 8.2 がおすすめ。

[flower_room]

「プログラミング Coq」よりわかりやすい。