More than 1 year has passed since last update.

VSCoqの初期設定

Last updated at 2022-11-29Posted at 2022-11-14

VSCodeでCoqを動かすための拡張機能として、VSCoqが用意されている。公式の説明を読んだだけだと少し詰まったので、初期設定の方法を軽くまとめます。

実行環境

VSCoqのドキュメントでは4つの設定が紹介されているが、以下を行えば最低限動作するようになった。

VSCodeで拡張機能「VSCoq」をインストールし、有効にしておく。
プロジェクトがあるディレクトリの設定ファイル .vscode/settings.json を編集し、以下の内容を追加する。
```
"coqtop.binPath": "PATH_OF_COQTOP"
```
この設定によって、coqのインタプリタであるcoqtopのファイルが置かれているディレクトリの絶対パスをVSCoqに設定する。PATH_OF_COQTOPの部分に入力するパスは、恐らくcoqをインストールした方法により異なるが、今回はopamでインストールしたため、/Users/my_name/.opam/4.14.0/binとなった。

VSCoqの記事が少なかったので練習がてら初投稿です。間違い・質問あればお寄せください。