base   mizarverifiabledocs
author Yamada, M.
email  yamadam@mizar.work
date   2024-11-28
name   Mizar verifiable docs
desc   Provides proof-verifiable mathematical documentation by Mizar
url    https://www.dokuwiki.org/plugin:mizarverifiabledocs