技術書ランキング
タグ一覧
Home
>
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の形式化
著者: 萩原学
Amazonで見る
紹介記事
CoqIDEをMacに入れたかった（本買った）
👍 3
関連するタグ
Coq
MacOSX
ssreflect
MathComp
coqide
