0195132人目の素数さん垢版 | 大砲2018/04/19(木) 11:33:54.98ID:Bw5hzaW3 Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化 萩原 学 固定リンク: http://amzn.asia/fist7au ↑昨日発売でしたね。買った人いますか?