削除された内容 追加された内容
Ocyacya (トーク | 投稿記録)
編集の要約なし
Ocyacya (トーク | 投稿記録)
編集の要約なし
18 行
** [[Mizar/他言語との比較|他言語との比較]]
** [[Mizar/ErrorCode|ErrorCode]]
* [[Mizar/Q&A|Q&A]]
* 外部リンク
** [http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/index-j.html Manual]