cohama https://blog.hatena.ne.jp/cohama/ 反省はしても後悔はしない https://cohama.hateblo.jp/ Vim Coq はじめに 昨日、スタート Ssreflect というイベントに参加して、Coq + ssreflect のハンズオン的なものをやりました。 Coq 環境といえば、Emacs の ProofGeneral が非常に有名です。 しかし、私は Emacs は終了の仕方すら分からないレベルの初心者なので Emacs + ProofGeneral ではチュートリアルの例題を打ち込むだけでも非常に苦労しました。 証明も普段使い慣れている Vim で何とかできないかと思い調べたところ、そこそこ良さ気な環境を構築できたので紹介します。 使用するプラグイン 以下の2つをインストールします。NeoBundle の… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcohama.hateblo.jp%2Fentry%2F2014%2F04%2F27%2F194210" title="Vim で Coq 環境を整える - 反省はしても後悔はしない" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://cdn-ak.f.st-hatena.com/images/fotolife/c/cohama/20140427/20140427193733.png Hatena Blog https://hatena.blog 2014-04-27 19:42:10 rich https://cohama.hateblo.jp/entry/2014/04/27/194210 1.0 100%