\\ 
---- 
\\
  * [[start|Basic Syntax and Behavior]]
  * [[example|Interactive Demo]]
  * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Mizar Verifiable Docs(English)]]
  * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub repository]]
  * [[https://note.com/yamada_miz|note creator page]]