Dynamically Verifiable Documentation of Mathematics using Mizar

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

トレース:

sidebar

差分

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

この比較画面へのリンク

--- sidebar [2025/03/18 05:11] – 153.170.74.128
+++ sidebar [2025/04/08 03:38] (現在) – superuser
@@ 行 1: / 行 1: @@
-  * [[start]]
+\\
-  * [[example]]
+ ----
-  * [[https://www.dokuwiki.org/plugin:mizarverifiabledocs]]
+\\
+  * [[start|基本文法と動作]]
+  * [[example|体験デモ]]
+  * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|Mizar Verifiable Docs (日本語)]]
+  * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub リポジトリ]]
+  * [[https://note.com/yamada_miz|note クリエイターページ]]

sidebar.1742274702.txt.gz · 最終更新: 2025/03/18 05:11 by 153.170.74.128