kb84tkhrのブログ

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

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

定理証明手習い (88) J-Bob/step

(rewrite/step defs claim step) claimをstepで書き換える equality/defで組み込み関数を置き換えるとき、defには組み込み関数の 「定義」では(当然ながら)なく、関数名が単に入っていました どっかでわざわざ組み込み関数かどうかを判断して渡してるのか…