森北出版で発行している書籍「Coq/SSReflect/MathCompによる定理証明」の詳細ページです。