0213132人目の素数さん垢版 | 大砲2020/12/29(火) 19:37:12.97ID:dboOL2nl 本なら『Coq/SSReflect/MathCompによる定理証明』かな。実際に使って証明したいものを証明した方が良いと思うけど。