vscoqでproof viewが出ない
vscoqは3年前から更新されていない
vscoqのバージョンを1.32くらいに下げると動くが、自動更新まわりの設定とか使い分けるのとかめんどい
よく見ると↓に移動したらしいので入れてみたら動いた
Requirements
- node
Installation
git clone https://github.com/coq-community/vscoq.git cd vscoq npm i -g vsce make vsix code --install-extension client/vscoq-0.2.8.vsix