ノート:Mizar/削除

著作権違反について 初版版は下記コピーです。

http://markun.cs.shinshu-u.ac.jp/kiso/projects/proofchecker/mizar/Mizar4/ja_wframe

Mizarの概要

Miketsukunibito 2004年8月25日 (水) 03:23 (UTC)