ひとり勉強会

ひとり楽しく勉強会

Coqの入門記事を書く会 (1)

証明支援系Coqの遊び方の入門を書いてみるよ。すでに世の中に何個も入門記事ありますけど、増えて困ることはなかろう…ということで。まず、インストール方法については、id:yoshihiro503 による紹介記事

最近パソコンを買ったんだけど、使い方がよく解らない。という人のために、今日はCoqのインストールの方法を紹介しよう。

を参照のこと。現時点では最新の安定版の Coq 8.2 がおすすめ。