[Axiom-mail] Re: Axiom and program proof.

[root]

> Hello there -- it sounds a great effort thouigh I am afriad I don't have too
> much badnwidth to commit to it myslef. I guess you know about Simon Thompson's
> project in Kent -- the RA who worked on it has now joined a project of Steve
> LInton's here in St ANdrews

re: time. No problem. I'm looking for Axiom related work and am
expecting to do it myself or farm it out to the developers.

re: project. Actually, I don't. Can you give me a more specific pointer?

Tim