1base mizarproofchecker 2author Yamada, M. 3email yamadam@mizar.work 4date 2024-11-23 5name Mizar proof checker 6desc Edit and verify mathematical proofs within wiki pages using Mizar 7url https://www.dokuwiki.org/plugin:mizarproofchecker 8