Math Course Materials

and Dynamically Verifiable Math Docs using 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
en:sidebar [2025/04/08 03:39] – superuseren:sidebar [2026/07/20 07:23] (current) – superuser
Line 6: Line 6:
   * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Mizar Verifiable Docs(English)]]   * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Mizar Verifiable Docs(English)]]
   * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub repository]]   * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub repository]]
-  * [[https://note.com/yamada_miz|note creator page]] 
en/sidebar.1744083568.txt.gz · Last modified: by superuser