ＭＩＺＡＲで数学証明

[0001 名無しさん＠お腹いっぱい。 2006/10/09(月) 17:29:24 ID:4HXnuR2X0]

ＭＩＺＡＲを用いて数学の証明をしよう
http://web.cs.ualberta.ca/~piotr/Mizar/mirror/http/