Dynamically Verifiable Documentation of Mathematics using Mizar

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

User Tools

Site Tools

Trace:
en:start

Recent Changes

The following pages were changed recently:

You're currently watching the changes inside the en namespace. You can also view the recent changes of the whole wiki.

  • en:sidebar 2025/04/08 03:39 Show differences to current revisions Old revisions en:sidebar – superuser +6 B
  • en:example 2025/04/08 03:19 Show differences to current revisions Old revisions en:example – [1.1.4 Definition of the Union of Sets] superuser -13 B
en/start.txt · Last modified: by superuser