この書籍の内容

内容詳細

コンピュータと協働して数学する! 定理証明支援系Coq/SSReflect/MathComp,待望の入門書.

みんなのレビュー

まだレビューがありません

Qiitaでこの書籍を紹介している記事