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

Online Mizar Processor

To: mizar-forum@mizar.uw.bialystok.pl
Subject: Online Mizar Processor
From: Grzegorz Bancerek <bancerek@math.uw.bialystok.pl>
Date: Fri, 15 Aug 1997 14:37:32 +0200 (MET DST)

I would like to announce that online processing with Mizar verifier
is available now on the Web.  The URL is
 
   http://mizar.uw.bialystok.pl/cgi-bin/mizar.cgi

Grzegorz Bancerek

References:
- Revisions Home Page
  - From: Library Committee <mml@mizar.uw.bialystok.pl>

Prev by Date: Revisions Home Page
Next by Date: Mizar-Problems for ATP
Index(es):
- Chronological
- Thread