[Date Prev][Date Next] [Chronological] [Thread] [Top]

Other systems

To: mizar-forum@mizar.uwb.edu.pl
Subject: Other systems
From: David <lovidicus@yahoo.com>
Date: Thu, 6 Sep 2001 05:53:01 -0700 (PDT)

Hi!  Does anybody know if there is any other deduction software with a nice big
library of theorems and proofs?  Like Mizar?  I've been able to find other
deduction software, except that none of them feature a big library of proven
theorems like Mizar has (20 thousand theorems according to the homepage).

And thanks everybody for the pointers on where to start learning mizar!

- David


__________________________________________________
Do You Yahoo!?
Get email alerts & NEW webcam video instant messaging with Yahoo! Messenger
http://im.yahoo.com

Follow-Ups:
- Re: Other systems
  - From: Grzegorz Bancerek <bancerek@cs.shinshu-u.ac.jp>

References:
- 2nd CFP: FroCoS'2002 (fwd)
  - From: Czeslaw Bylinski <bylinski@math.uwb.edu.pl>

Prev by Date: 2nd CFP: FroCoS'2002 (fwd)
Next by Date: Re: Other systems
Index(es):
- Chronological
- Thread