Re: [mizar] A. Asperti's offer

[Freek Wiedijk <freek@cs.kun.nl>]

Hi Piotr,

>I have browsed through A. Asperti's papers on the formal
>mathematics and XML and I would not want to do such a thing
>but if they do, we should offer them our help (I am writing
>here 'we' realizing how little I can contribute).

I think the best way to help Andrea with this, is to
encourage Josef Urban to visit Bologna.

I don't know whether Andrea has money to invite him, but to
me this seems the most efficient approach.  Josef knows both
the current implementation of Mizar and the XML world well,
and if he visits the MoWGLI crowd, he can really help them.

Freek