\\
 ----
\\
  * [[start|基本文法と動作]]
  * [[example|体験デモ]]
  * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|Mizar Verifiable Docs (日本語)]]
  * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub リポジトリ]]
  * [[https://note.com/yamada_miz|note クリエイターページ]]