Re: [mizar] the Why project

[Andrzej Trybulec <trybulec@math.uwb.edu.pl>]

Adres jest


http://why.lri.fr/

Andrzej



Piotr Rudnicki wrote:

> 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