en:start
en/start.txt · Last modified: 2025/04/07 07:16 by superuser
Dynamically Verifiable Documentation of Mathematics using Mizar
Mizar を用いた動的検証可能な数学ドキュメンテーション