目次
第２節 定理と証明の形
第３節 コンピュータによるチェック −環境部vocabulary
第４節 環境部notation,contructors
第５節 環境部残り部分
第６節 実際のチェック実行
テスト
Logをみる
Back（情報証明論表紙）