1base mizarproofchecker 2author Yamada, M. 3email yamadam@mizar.work 4date 2024-09-12 5name Mizar proof checker 6desc Check proof by Mizar 7url https://www.dokuwiki.org/plugin:mizarproofchecker 8