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

定理証明手習い (29) もうちょっとなんとか

littleprover

前回の記事書いてみて思ったのは ((A A 1 1) (equal-if x '?))とかを並べて書いてあるコードを見るより途中経過の式を並べたものを見るほうがわかりやすいなってこと