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

[mizar] MPTP description

To: <mizar-forum@mizar.uwb.edu.pl>
Subject: [mizar] MPTP description
From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>
Date: Fri, 4 Apr 2003 01:13:56 +0200 (CEST)

Hi,

I put a paper describing MPTP 
at http://kti.ms.mff.cuni.cz/~urban/MPTP/mptp.ps

Josef Urban

Next by Date: [mizar] New Mizar version (6.3.04_3.50.773)
Index(es):
- Chronological
- Thread