Dynamically Verifiable Documentation of Mathematics using Mizar

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

ユーザ用ツール

サイト用ツール

トレース:
en:example

以前のリビジョン

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

  • 2025/04/08 03:19 en:example – [1.1.4 Definition of the Union of Sets] superuser -13 B (現在)
  • 2025/04/08 03:19 現在のリビジョンとの差分を表示 en:example – [1.1 TARSKI.miz] superuser +4 B
  • 2025/04/08 03:16 現在のリビジョンとの差分を表示 en:example – [1.1 TARSKI.miz] superuser -2 B
  • 2025/04/08 03:15 現在のリビジョンとの差分を表示 en:example – superuser +73 B
  • 2025/04/08 02:52 現在のリビジョンとの差分を表示 en:example – superuser -19 B
  • 2025/04/07 07:19 現在のリビジョンとの差分を表示 en:example – created superuser +9.3 KB
en/example.txt · 最終更新: 2025/04/08 03:19 by superuser · 文書をロックしているユーザー： 18.222.114.179