ProofGeneral で Coq を使う．Coq のインストール方法はハイテンションなインストール記事にまかせるとします． この記事みたいにハイテンションにインストール記事を書こうかとも思ったけどレベルが高すぎます． Mac にウインドウズ・ベロは無いしw Mac 版…