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

Mizar-Problems for ATP

To: qed@mcs.anl.gov, mizar-forum@mizar.uw.bialystok.pl
Subject: Mizar-Problems for ATP
From: dahn@mathematik.hu-berlin.de (Bernd Ingo Dahn)
Date: Wed, 20 Aug 1997 23:49:56 +0200

The URL

http://www-irm.mathematik.hu-berlin.de/~ilf/miz2atp.html

provides the 97 theorems of the Mizar article boole.miz
in the TPTP format for reproving with automated theorem
provers.

Ingo Dahn

Prev by Date: Online Mizar Processor
Next by Date: CCL
Index(es):
- Chronological
- Thread