Dynamically Verifiable Documentation of Mathematics using Mizar

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

ユーザ用ツール

サイト用ツール

トレース:
example

以前のリビジョン

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

  • 2025/04/12 10:39 example – [第1章 TARSKIの公理系] superuser -11 B (現在)
  • 2025/04/08 02:45 現在のリビジョンとの差分を表示 example – superuser -9.9 KB
  • 2025/04/08 02:35 現在のリビジョンとの差分を表示 example – superuser +10 KB
  • 2025/04/07 07:20 現在のリビジョンとの差分を表示 example – [1.1 TARSKI.miz] superuser +4 B
  • 2025/04/07 07:18 現在のリビジョンとの差分を表示 example – superuser +325 B
  • 2025/03/18 03:33 現在のリビジョンとの差分を表示 example – 作成 153.170.74.128 +9.6 KB
example.txt · 最終更新: 2025/04/12 10:39 by superuser