エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
Coq - Howto
Coqシステムの使い方 最初に1回だけやること Coqシステムを使うために,本演習では, emacs 上の Proof ... Coqシステムの使い方 最初に1回だけやること Coqシステムを使うために,本演習では, emacs 上の Proof General というライブラリを使う. よって、Proof General と Coq に関する設定が必要である. 設定1. 以下の記述(~kam/coq/dot-emacs)を,自分の home directory のすぐ下にある .emacsファイル(ドットemacsファイル) の一番下に追加しなさい. (load "/opt/local/share/ProofGeneral/generic/proof-site.el") (defadvice coq-mode-config (after deactivate-holes-mode () activate) "Deactivate holes-mode when coq-mode is activated." (p