Dynamically Verifiable Documentation of Mathematics using Mizar

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

ユーザ用ツール

サイト用ツール

トレース:
sidebar

差分

このページの2つのバージョン間の差分を表示します。

この比較画面へのリンク

両方とも前のリビジョン前のリビジョン
次のリビジョン		前のリビジョン
sidebar [2025/04/07 07:31] – superusersidebar [2025/04/08 03:38] (現在) – superuser
行 1: 行 1:
-  * [[start]] +\\ 
-  * [[example]] + ---- 
-  * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs|Mizar Verifiable Docs(英語)]]+\\ 
 +  * [[start|基本文法と動作]] 
 +  * [[example|体験デモ]]
   * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|Mizar Verifiable Docs (日本語)]]   * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|Mizar Verifiable Docs (日本語)]]
   * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub リポジトリ]]   * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub リポジトリ]]
   * [[https://note.com/yamada_miz|note クリエイターページ]]   * [[https://note.com/yamada_miz|note クリエイターページ]]
sidebar.1744011115.txt.gz · 最終更新: 2025/04/07 07:31 by superuser