[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: zalewska@uwb.edu.pl
Date: Mon, 01 May 2006 15:56:20 +0200

----- Message from trybulec@math.uwb.edu.pl ---------
    Date: Mon, 01 May 2006 13:25:28 +0200
    From: Andrzej Trybulec <trybulec@math.uwb.edu.pl>
Reply-To: mizar-forum@mizar.uwb.edu.pl
 Subject: [mizar] the Why project
      To: mizar-forum@mizar.uwb.edu.pl

Dear All,

Who is interested in the Why project, and who did the Mizar stuff for Why?

Regards,
Andrzej



----- End message from trybulec@math.uwb.edu.pl -----

I am interested in the Why project.

Anna Zalewska

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

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