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

11:45 〜 12:00

[D-3-11] 定理証明支援系Mizarのリモート検証システムの構築

○甲斐 俊紀¹、中正 和久¹ (1. 山口大)

キーワード：

Mizar、リモート検証