Dynamically Verifiable Documentation of Mathematics using Mizar

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

ユーザ用ツール

サイト用ツール

トレース:
start

最近の変更

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

  • wiki:syntax 2025/04/20 06:03 現在のリビジョンとの差分を表示 以前のリビジョン wiki:syntax – 削除 superuser -20.9 KB
  • wiki:dokuwiki 2025/04/20 06:02 現在のリビジョンとの差分を表示 以前のリビジョン wiki:dokuwiki – 削除 superuser -2.7 KB
  • playground:playground 2025/04/20 05:33 現在のリビジョンとの差分を表示 以前のリビジョン playground:playground – 削除 superuser -25 B
  • wiki:welcome 2025/04/20 05:31 現在のリビジョンとの差分を表示 以前のリビジョン wiki:welcome – 削除 superuser -1.7 KB
  • 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
start.txt · 最終更新: 2025/04/11 01:48 by superuser