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