totem_3 https://blog.hatena.ne.jp/totem_3/ エンジニアですよ！ https://totem3.hatenablog.jp/ emacs coq そもそもはProofGeneralが使いたいがためにEmacsを使い始めたが、とりあえずAgdaをやめてCoqをいじるようになった今、vimscripts/coq_IDEというやつでもいいかもしれないと思い始めているが・・・ Macでの導入は簡単。 homebrewを使う.もう何でもこれに頼ってしまう。 まずはcoqを入れよう brew install coq 恐らくインストールすると、こんな感じ（↓）でemacsでのcoq modeについての説明が出るはず。 Coq's Emacs mode is installed into /usr/local/opt/coq/lib/emacs/sit… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ftotem3.hatenablog.jp%2Fentry%2F2014%2F11%2F15%2F094753" title=" coq環境作って使う emacs + ProofGeneral - エンジニアですよ！" 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/t/totem_3/20141115/20141115094738.png Hatena Blog https://hatena.blog 2014-11-15 09:47:53 rich https://totem3.hatenablog.jp/entry/2014/11/15/094753 1.0 100%