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

Re: [mizar] the Why project

To: mizar-forum@mizar.uwb.edu.pl
Subject: Re: [mizar] the Why project
From: Piotr Rudnicki <piotr@cs.ualberta.ca>
Date: Tue, 2 May 2006 11:31:26 -0600

I am interested in which Why project you have in mind.

PR

On Mon, May 01, 2006 at 01:25:28PM +0200, Andrzej Trybulec wrote:
> Dear All,
> 
> Who is interested in the Why project, and who did the Mizar stuff for Why?
> 
> Regards,
> Andrzej

-- 
Piotr Rudnicki        CompSci, University of Alberta, Edmonton, Canada
                      http://web.cs.ualberta.ca/~piotr

Follow-Ups:
- Re: [mizar] the Why project
  - From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>

References:
- [mizar] the Why project
  - From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>

Prev by Date: Re: [mizar] the Why project
Next by Date: Re: [mizar] the Why project
Index(es):
- Chronological
- Thread