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

[mizar] MPTP results database

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] MPTP results database
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Thu, 20 Mar 2003 01:52:42 +0100 (CET)


Hi,

a very experimental SQL database containing results of provers run on
MPTP and some additional info on MPTP problems is browsable at
http://lipa.ms.mff.cuni.cz/phpMyAdmin-2.4.0/ .

The SQL structure of the database is described at
http://alioth.uwb.edu.pl/twiki/pub/Mizar/MpTP/MPTPResults.sql.

Please let me know if you want to submit your own results into the
database.

Regards,
Josef Urban

References:
- [mizar] MML License
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

Prev by Date: Re: [mizar] How to search for a lemma?
Index(es):
- Chronological
- Thread