xref: /plugin/mizarverifiabledocs/plugin.info.txt (revision 668cface9ec8018656ab3e4d58117cffa05fadc1)
1base   mizarverifiabledocs
2author Yamada, M.
3email  yamadam@mizar.work
4date   2024-12-28
5name   Mizar verifiable docs
6desc   Provides dynamically verifiable documentation of mathematics using Mizar
7url    https://www.dokuwiki.org/plugin:mizarverifiabledocs
8