『Coq/SSReflect/MathCompによる定理証明』
Coq/SSReflect/MathCompによる定理証明｜森北出版株式会社
定理証明支援系とは何か、何ができるのか｜森北出版
Coq
MathComp
SSReflect
#本
#形式手法
#Coq
#ほしいものリスト
#定理証明支援系
#文献