Dynamically Verifiable Documentation of Mathematics using Mizar

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

ユーザ用ツール

サイト用ツール

トレース:
start

以前のリビジョン

以下はこの文書の以前の版（リビジョン）です。過去の版から復元するには、復元したい版を選択して、文書の編集をクリックし、その後保存してください。

  • 2025/04/11 01:48 start – [パート1] superuser ±0 B (現在)
  • 2025/04/07 07:16 現在のリビジョンとの差分を表示 start – superuser -15 B
  • 2025/04/07 07:16 現在のリビジョンとの差分を表示 start – superuser +115 B
  • 2025/03/18 04:17 現在のリビジョンとの差分を表示 start – [part 2] 153.170.74.128 +51 B
  • 2025/03/18 04:17 現在のリビジョンとの差分を表示 start – [part 1] 153.170.74.128 +52 B
  • 2025/03/18 04:14 現在のリビジョンとの差分を表示 start – 153.170.74.128 -9.5 KB
  • 2025/03/17 08:25 現在のリビジョンとの差分を表示 start – 作成 superuser +9.6 KB
start.txt · 最終更新: 2025/04/11 01:48 by superuser