Math Course Materials

and Dynamically Verifiable Math Docs using Mizar

ユーザ用ツール

サイト用ツール


start

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

両方とも前のリビジョン前のリビジョン
start [2026/05/17 06:01] – 153.170.74.132start [2026/07/03 06:38] (現在) – superuser
行 3: 行 3:
 ここには通常の内容(説明文など)が入ります。 ここには通常の内容(説明文など)が入ります。
  
-<mizar example>+<mizar my_article_name>
   Mizar記事のパート1   Mizar記事のパート1
 </mizar> </mizar>
行 12: 行 12:
 こちらも通常の内容です。 こちらも通常の内容です。
  
-<mizar example>+<mizar my_article_name>
   Mizar記事のパート2   Mizar記事のパート2
 </mizar> </mizar>
start.1778997672.txt.gz · 最終更新: by 153.170.74.132