[D-3] ｿﾌﾄｳｪｱｻｲｴﾝｽ

10:45 〜 11:00

[D-3-07] Mizar数学ライブラリの解説記事を提供するWebアプリケーション

○照屋 勇太¹、中正 和久¹ (1. 山口大学)

キーワード：

定理証明支援系、Mizar、Webアプリケーション