Mizarプロジェクト関係 2007-02-17 20:07:07 | ネット上の資料 プロジェクト本部(ポーランド・ビアリストク大学) Mizarプロジェクト紹介記事 Mizarプロジェクトの各種データ 日本の参加者の貢献 QED Project 紹介 QED Project WEBページ 他のプルーフチェッカー Google Scholar Google Scholar について(1) Google Scholar について(2) Google Scholar について(3) « moodleの入門書 | トップ | 数理論理レポート課題 »