[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Tue, 18 Jul 2006 05:31:48 -0700 (PDT)
Just saw an announcement on the Isabelle list
(http://www.macs.hw.ac.uk/~jbw/phd-student-ad.html) which referenced
I may be wrong, but it sounds like the problems they are looking at
there are a bit similar to the ones B-sharp is intended to address.
Position sounds interesting, although they don't seem to be interested
in Axiom as such.
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
- [Axiom-developer] MathLang,
C Y <=