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

Both sides previous revisionPrevious revision
en:start [2025/04/07 07:16] – [part 2] 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 2   article part 2
 </mizar> </mizar>
en/start.txt · Last modified: by 153.170.74.132 · Currently locked by: 216.73.216.230