コンテンツにスキップ
メインメニュー
メインメニュー
サイドバーに移動
非表示
ナビゲーション
メインページ
コミュニティ・ポータル
談話室
最近の更新
おまかせ表示
アップロード(ウィキメディア・コモンズ)
ヘルプ
ヘルプ
検索
検索
表示
寄付
アカウント作成
ログイン
個人用ツール
寄付
アカウント作成
ログイン
目次
サイドバーに移動
非表示
ページ先頭
1
目次
目次の表示・非表示を切り替え
Mizar
2の言語版
Deutsch
English
リンクを編集
本文
議論
日本語
閲覧
編集
履歴表示
ツールボックス
ツール
サイドバーに移動
非表示
操作
閲覧
編集
履歴表示
全般
リンク元
関連ページの更新状況
特別ページ
この版への固定リンク
ページ情報
このページを引用
短縮URLを取得する
QRコードをダウンロード
印刷/書き出し
ブックの新規作成
PDF 形式でダウンロード
印刷用バージョン
他のプロジェクト
ウィキペディア
ウィキデータ項目
表示
サイドバーに移動
非表示
出典: フリー教科書『ウィキブックス(Wikibooks)』
目次
[
編集
]
Wikipedia
ウィキペディア
に
Mizar
の記事があります。
はじめに
Mizarとは
証明法
証明思考法
構文
article
環境部
本体部
型
記号
他言語との比較
ErrorCode
演習
Q&A
外部リンク
Manual
索引
Article検索
このページ「
Mizar
」は、
まだ書きかけ
です。加筆・訂正など、協力いただける皆様の
編集
を心からお待ちしております。また、ご意見などがありましたら、お気軽に
トークページ
へどうぞ。
カテゴリ
:
Mizar
プログラミング言語
数式処理システム
ソフトウェアのマニュアル
日本十進分類法/007.63
スタブ