「Mizar」の版間の差分
削除された内容 追加された内容
編集の要約なし |
M カテゴリ |
||
17 行
* 外部リンク
** [http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html Manual]
* 索引
** [http://markun.cs.shinshu-u.ac.jp/Mirror/search_mml.html Article検索]
{{DEFAULTSORT:Mizar}}
[[Category:コンピュータ言語]]
[[Category:数式処理システム]]
{{stub}}
▲[[Category:情報技術|Mizar]]
▲[[Category:ソフトウェアのマニュアル|Mizar]]
| |||