2ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

MIZARで数学証明

1 :名無しさん@お腹いっぱい。:2006/10/09(月) 17:29:24 ID:4HXnuR2X0
MIZARを用いて数学の証明をしよう
http://web.cs.ualberta.ca/~piotr/Mizar/mirror/http/

2 :名無しさん@お腹いっぱい。:2006/10/13(金) 00:59:57 ID:Fmqeqvmr0
どうやって使うの?


3 :名無しさん@お腹いっぱい。:2006/11/02(木) 00:32:39 ID:0RIyLlZi0
なんでMizarの単発スレにしてんだよ!w
Coq, Nuprl, PVS, ACLなどなど、いろいろあるよー。

4 :名無しさん@お腹いっぱい。:2006/11/02(木) 20:38:13 ID:mFidIm0C0
mizar,iwazar,kikazar

1 KB
■ このスレッドは過去ログ倉庫に格納されています

★スマホ版★ 掲示板に戻る 全部 前100 次100 最新50

read.cgi ver 05.02.02 2014/06/23 Mango Mangüé ★
FOX ★ DSO(Dynamic Shared Object)