Math Course Materials

and Dynamically Verifiable Math Docs using Mizar

ユーザ用ツール

サイト用ツール


start

差分

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

この比較画面へのリンク

両方とも前のリビジョン前のリビジョン
次のリビジョン
前のリビジョン
start [2025/04/07 07:16] – superuserstart [2026/07/03 06:38] (現在) – superuser
行 1: 行 1:
 ==== パート1 ==== ==== パート1 ====
  
-ここでは通常の内容(説明文など)が入ります。+ここには通常の内容(説明文など)が入ります。
  
 <mizar my_article_name> <mizar my_article_name>
行 13: 行 13:
  
 <mizar my_article_name> <mizar my_article_name>
-  Mizar記事のパート1(再表示)+  Mizar記事のパート2
 </mizar> </mizar>
start.1744010174.txt.gz · 最終更新: by superuser