最近パソコンを買ったんだけど、使い方がよく解らない。という人のために、今日はCoqのインストールの方法を紹介しよう。 対象となる OS はWindows Vistaだ!Coqはだいたい次の３ステップで、使うことが出来る。恐れずに挑戦してみよう。 1。CoqのサイトからC…