ダウンロード
インストール
Windowsの方は、ダウンロードしてきたファイルcoq-installer-8.4pl6.exe（数字のとこはちょっと違うかも）をダブルクリックして、あとはNextとかI Agree.とかInstallを選択していれば、そのうちFinishのボタンが出て、それをクリックすれば終わりです。（I Agree.は、License Agreementとかいうやつで、気になる方はそこに表示されている英文を読んでください。ここでI Agree.を選択して規約に同意しないとインストールはできません。）
すると、パソコンのプログラムのメニューのところにCoqが追加されているはずですので、そこのCoq（コマンドプロンプト）か、CoqIde（統合環境ってやつかな）を選べばCoqが起動します。
Windowsでない方は、そもそもコンピュータの扱いに詳しい方ですよね。どうせ私もWindows以外知らないので説明できません。