Mizar, Mathematica, Automated Provers - and ILF (fwd)

[Czeslaw Bylinski <bylinski@math.uw.bialystok.pl>]

---------- Forwarded message ----------
Date: Fri, 3 Apr 1998 10:20:42 +0200 (MET DST)
From: Bernd Ingo Dahn <dahn@mathematik.hu-berlin.de>
To: mizar-forum@mizar.uw.bialystok.pl
Subject: Mizar, Mathematica, Automated Provers - and ILF

 There is a notebook for Mathematica 3.0 to access a part of the Mizar 
 Mathematical Library. It supports currently the search for theorems on 
 elementary set theoretic concepts by using several automated theorem provers.
 
 The notebook and the necessary Mathematica extension can be downloaded from
 
 	http://www-irm.mathematik.hu-berlin.de/~ilf/mca.html

Ingo Dahn

***************************************
* Bernd, Ingo Dahn		      *
*				      *
* Humboldt-University		      *
* Institute of Pure Mathematics       *
* Ziegelstr. 13a		      *
* D-10099 Berlin		      *
*				      *
* Phone: (+49)30-2093-1829	      *
* Fax  : (+49)30-2093-1846            *
* Mail : dahn@mathematik.hu-berlin.de *
*				      *
***************************************