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