* [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Plugin: Mizar Verifiable Docs]]
  * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|日本語 (ja): Plugin: Mizar Verifiable Docs]]
  * [[start]]
  * [[Sample page]]