|
| From: | Ursula Martin |
| Subject: | [Axiom-mail] Re: Axiom and program proof. |
| Date: | Thu, 5 Dec 2002 19:09:03 GMT |
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 Ursula
| [Prev in Thread] | Current Thread | [Next in Thread] |