http://qiita.com/pasberth/items/bc90189be6cb67eed5fdやhttp://qiita.com/fumieval/items/42495947009e2fe76a53を参考にして作り始めてみる

以下のとおりにoverlayを追加して http://na4zagin3.hatenablog.com/entry/20111108/1320755758 $ emerge ssreflect ってすればいい [2014-09-04追記] ssreflect-1.5から、数学系の定義・証明がmathcomp-1.5に分離されたので、ssreflectだけでは入らない。 $…