2018-04-18から1日間の記事一覧

定理証明手習い (90) J-Bob/define

J-Bob/defineを定義していきます rewrite/proveは再利用その後も、'tを返すか定義のリストに証明された定義を付け足すかくらいなのでそれほど大きな違いはありません