定理証明手習い (77) list2-or-more? 〜 proofs?

list2-or-more? リストの要素が2個以上か

proof? 証明かどうか

証明である、とは？

• 要素が2個以上のリストで、

定義で1個、種で1個は最低必要

• 最初の要素が関数・定理の定義で、
• 次の要素が種で、
• 残りの要素がステップであるもの

見ているのは形だけ

proofs? 証明のリストか

これで、J-Bob/proveやJ-Bob/defineに出てくる形になりました
ここでひと区切りになる模様