Dynamically Verifiable Documentation of Mathematics using Mizar

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

ユーザ用ツール

サイト用ツール

トレース:
sample_page

最近の変更

最近更新されたページの一覧です。

  • example 2025/04/12 10:39 現在のリビジョンとの差分を表示 以前のリビジョン example – [第1章 TARSKIの公理系] superuser -11 B
  • start 2025/04/11 01:48 現在のリビジョンとの差分を表示 以前のリビジョン start – [パート1] superuser ±0 B
  • en:sidebar 2025/04/08 03:39 現在のリビジョンとの差分を表示 以前のリビジョン en:sidebar – superuser +6 B
  • sidebar 2025/04/08 03:38 現在のリビジョンとの差分を表示 以前のリビジョン sidebar – superuser +4 B
  • en:example 2025/04/08 03:19 現在のリビジョンとの差分を表示 以前のリビジョン en:example – [1.1.4 Definition of the Union of Sets] superuser -13 B