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

10:45 AM - 11:00 AM JST(1:45 AM - 2:00 AM UTC)

[D-3-07] A Web application providing explanatory documents for the Mizar Mathematical Library

○Yuta Teruya¹, Kazuhisa Nakasho¹ (1. Yamaguchi University)

Keywords:

Theorem proving support system,Mizar,Web Application