ＭＩＺＡＲで数学証明

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

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

[0002 名無しさん＠お腹いっぱい。 2006/10/13(金) 00:59:57 ID:Fmqeqvmr0]

どうやって使うの？

[0003 名無しさん＠お腹いっぱい。 2006/11/02(木) 00:32:39 ID:0RIyLlZi0]

なんでMizarの単発スレにしてんだよ!w
Coq, Nuprl, PVS, ACLなどなど、いろいろあるよー。

[0004 名無しさん＠お腹いっぱい。 2006/11/02(木) 20:38:13 ID:mFidIm0C0]

mizar,iwazar,kikazar