coq という証明支援システムについて教えてもらったので、macで環境構築をした。coqの開発環境を整えるには、 Download | The Coq Proof Assistant からMac版をダウンロードする proofgeneralというemacsプラグインを落とす という二つの手順を踏むのだが、i…