wiki:syntax
Media Manager
Media Files
Files in wiki
- dokuwiki-128.png
- 128×128
- 2024/08/05 06:28
- 27.2 KB
- dokuwiki.svg
- 2024/08/05 06:28
- 9.1 KB
File
wiki/syntax.txt · Last modified: by 127.0.0.1
Dynamically Verifiable Documentation of Mathematics using Mizar
Mizar を用いた動的検証可能な数学ドキュメンテーション