内容へ移動
Dynamically Verifiable Documentation of Mathematics using Mizar
Mizar を用いた動的検証可能な数学ドキュメンテーション
ユーザ用ツール
ログイン
サイト用ツール
検索
ツール
文書の表示
以前のリビジョン
バックリンク
最近の変更
メディアマネージャー
サイトマップ
ログイン
>
最近の変更
メディアマネージャー
サイトマップ
トレース:
sidebar
文書の過去の版を開いています
。もしこのまま保存すると、この文書が最新となります。
メディアファイル
---- * [[start|基本文法と動作]] * [[example|体験デモ]] * [[https://www.dokuwiki.org/ja:plugin:mizarverifiabledocs|Mizar Verifiable Docs (日本語)]] * [[https://github.com/YamadaMiz/mizarverifiabledocs|GitHub リポジトリ]] * [[https://note.com/yamada_miz|note クリエイターページ]]
保存
プレビュー
キャンセル
編集の概要
注意: 本ページを編集した場合、あなたの編集した内容が次のライセンスに従うことに同意したものとみなします:
CC Attribution-Share Alike 4.0 International
sidebar.1744083284.txt.gz
· 最終更新: 2025/04/08 03:34 by
superuser
ページ用ツール
文書の表示
以前のリビジョン
バックリンク
文書の先頭へ