neovim上にcoqの環境を整えます 基本的にはこちらの記事を見るとよくわかると思います. 僕の場合のハマったところを詳細に記述していこうと思います. coquilleを導入する dein.vimを使って以下のプラグインを追加します the-lambda-church/coquille vimbufsy…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。