Dynamically Verifiable Documentation of Mathematics using Mizar

Mizar を用いた動的検証可能な数学ドキュメンテーション

User Tools

Site Tools

Trace:
en:sidebar

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
en:sidebar [2025/04/07 08:12] – superuseren:sidebar [2025/04/08 03:39] (current) – superuser
Line 1: Line 1:
 +\\ 
 +---- 
 +\\
   * [[start|Basic Syntax and Behavior]]   * [[start|Basic Syntax and Behavior]]
   * [[example|Interactive Demo]]   * [[example|Interactive Demo]]
   * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Mizar Verifiable Docs(English)]]   * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Mizar Verifiable Docs(English)]]
-  * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|Mizar Verifiable Docs (Japanease)]] 
   * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub repository]]   * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub repository]]
   * [[https://note.com/yamada_miz|note creator page]]   * [[https://note.com/yamada_miz|note creator page]]
en/sidebar.1744013530.txt.gz · Last modified: 2025/04/07 08:12 by superuser