kb84tkhrのブログ

何を書こうか考え中ですあ、あと組織とは関係ないってやつです個人的なやつ

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

定理証明手習い (40) 種

littleprover

リスト型帰納法やスター型帰納法はDefun帰納法に含まれるそうですリスト型帰納法はlist-inductionから作ります