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

Re: [mizar] ATP proof objects for Mizar

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] ATP proof objects for Mizar
From: Freek Wiedijk <freek@cs.ru.nl>
Date: Tue, 30 May 2006 09:43:46 +0200

Josef:

>Comments and suggestions are much welcome,

I have neither, but I just want to say that this looks _very_ nice.

Freek

Follow-Ups:
- Re: [mizar] ATP proof objects for Mizar
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

References:
- [mizar] ATP proof objects for Mizar
  - From: Josef Urban <urban@ktilinux.ms.mff.cuni.cz>

Prev by Date: [mizar] ATP proof objects for Mizar
Next by Date: Re: [mizar] ATP proof objects for Mizar
Index(es):
- Chronological
- Thread