著者：アフェルト・レナルドの検索結果

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