Dynamically Verifiable Documentation of Mathematics using Mizar

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

User Tools

Site Tools


en:start

Differences

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

Link to this comparison view

Next revision
Previous revision
en:start [2025/04/07 07:14] – created superuseren:start [2026/05/22 01:30] (current) 153.170.74.132
Line 3: Line 3:
 regular content regular content
  
-<mizar my_article_name>+<mizar example>
   article part 1   article part 1
 </mizar> </mizar>
Line 12: Line 12:
 regular content regular content
  
-<mizar my_article_name+<mizar example
-  article part 1+  article part 2
 </mizar> </mizar>
en/start.1744010080.txt.gz · Last modified: by superuser