600000007

プログラムと折り紙のブログです。

ssrefrect

Macでssreflect

以下はssreflectをMacで動かそうとした悪戦苦闘の記録です。 最終的には、以下のような構成になりました。 Mac OS X 10.9.4 Emacs 24.3.1 ProofGeneral4.2 Coq8.4pl4 ssreflect1.5 CoqIDE or ProofGeneral Mac OS X 10.9では、CoqIDE8.4は起動できません。既…