2014-09-28から1日間の記事一覧
リモートが動かなくなったと思っていたら,オンラインのインターフェイスが公開されていました.例えば,... g `!n. &1 + &n <= &2 pow n` ;; の証明スクリプト.人(私)が書くと e( INDUCT_TAC THEN REWRITE_TAC [REAL;pow] THEN ASM_ARITH_TAC );; と…
リモートが動かなくなったと思っていたら,オンラインのインターフェイスが公開されていました.例えば,... g `!n. &1 + &n <= &2 pow n` ;; の証明スクリプト.人(私)が書くと e( INDUCT_TAC THEN REWRITE_TAC [REAL;pow] THEN ASM_ARITH_TAC );; と…