Presentation Information

[D-3-11]Construction of the Remote Verification System for Mizar

○Toshiki Kai1, Kazuhisa Nakasho1 (1. Yamaguchi Univ.)
PDF DownloadDownload PDF

Keywords:

Mizar,Remote Verification