2018-02-23から1日間の記事一覧

定理証明手習い (47) set?/t-nil

littleprover

set?/t-nilも普通に証明できるかなできない理由は思いつかない set?/tとset?/nilをあわせた手間よりは楽にできるんじゃないかなやってみよう