Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
萩原 学
固定リンク: http://amzn.asia/fist7au

↑昨日発売でしたね。買った人いますか?