base   mizarverifiabledocs
author Yamada, M.
email  yamadam@mizar.work
date   2024-11-30
name   Mizar verifiable docs
desc   Provides dynamically verifiable documentation of mathematics using Mizar
url    https://www.dokuwiki.org/plugin:mizarverifiabledocs