著者：萩原 学の検索結果

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