『定理証明支援系とは何か、何ができるのか｜森北出版｜note』
萩原 学
、
アフェルト・レナルド
定理証明支援系とは何か、何ができるのか
Coq
、
SSReflect
、
MathComp
関連
『Coq/SSReflect/MathCompによる定理証明』
#文献
#定理証明支援系
#文献