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