WindowsのVScodeでCoqを使う（初心者向け） #VSCode

実行時期

2022年10月11日

Windows11
VSCodeインストール済み

下記にアクセス
https://github.com/coq/platform/releases/tag/2022.04.1
以下のような画面でWindows(64bit)を選択してインストーラ（Coq-Platform-release-2022.04.1-version_8.15_2022.04-arch-x86_64_signed　みたいな感じの名前のexeファイル）をダウンロード。
ダウンロードしたインストーラを起動し、インストールを行う。（設定等はデフォルトでOK）
3.でインストールしたフォルダ（Coq-platform-...）にアクセス
「bin」フォルダを右クリック→「パスのコピー」をして、メモ帳など適当なテキストエディタに貼り付けておく。
Windowsキーを押して出てくる検索ボックスに、「システム環境変数の編集」と入力して出てきた結果を選択。
右下の「環境変数」を選択。
「システム環境変数」の「変数」が"Path"となっている行を選択し、「編集」を選択
「新規」を選択し、5.で貼り付けておいたパスをコピーする。（両端のダブルクォーテーションは不要）
デフォルトでは　C:\Coq-Platform~8.15~2022.04\bin　のような感じ（数字部分はバージョンにより変化）
「OK」→「OK」→「適用」を順に選択してウィンドウを閉じる。
PCを再起動する
VScodeを起動する
左側のメニュー（またはCtrl+Shift+X）で拡張機能を開く。
検索ボックスに「vscoq」と入力し、vscoqをインストール。