反省はしても後悔はしない

Vim とか備忘録とか。それと関数型言語勉強中

2014-04-01から1ヶ月間の記事一覧

Vim で Coq 環境を整える

Vim Coq

はじめに 昨日、スタート Ssreflect というイベントに参加して、Coq + ssreflect のハンズオン的なものをやりました。 Coq 環境といえば、Emacs の ProofGeneral が非常に有名です。 しかし、私は Emacs は終了の仕方すら分からないレベルの初心者なので Ema…