読書メーター KADOKAWA Group

Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化

感想・レビュー
3

データの取得中にエラーが発生しました
感想・レビューがありません
新着
参加予定
検討中
さんが
ネタバレ

この本を登録した読書家

Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化評価100感想・レビュー3