1base mizarverifiabledocs 2author Yamada, M. 3email yamadam@mizar.work 4date 2025-01-15 5name Mizar verifiable docs 6desc Provides dynamically verifiable documentation of mathematics using Mizar 7url https://www.dokuwiki.org/plugin:mizarverifiabledocs 8