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

[mizar] the Why project

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

Dear All,

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

Regards,
Andrzej

Follow-Ups:
- Re: [mizar] the Why project
  - From: zalewska@uwb.edu.pl
- Re: [mizar] the Why project
  - From: Piotr Rudnicki <piotr@cs.ualberta.ca>
- Re: [mizar] the Why project
  - From: Freek Wiedijk <freek@cs.ru.nl>

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