Coq/SSReflect/MathCompによる定理証明
https://www.morikita.co.jp/books/book/3287