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

定理証明手習い (38) 帰納法を作る

littleprover

ということでadd-atoms用の帰納法が作れるのならどんなものでしょうか list-inductionのときは主張を読んでみたら普通に帰納法だねって感じだったのでまず自分で普通に考えてみます