Re: TODO list

Hi!

> My understanding of the current state of Axiom. Correct me if I'm
> wrong:

I think you're right.

> It appears that sole remaining developer of Axiom is/was Tim Daly.
> Tim wants more people to join and help but it was hard to find
> collaborators recently. My impression is that Tim is frustrated
> because of that.
> 
> I understood that people occasionally want to use Axiom for some
> one-off personal projects, but not so much help develop it.

I wrote him to offer my help with it.   I probably don't have the skills he 
needs, but there might be some busy work I could do.

> Tim wants to do major refactoring of Axiom project so that everything
> it computes is mathematically provable and maybe some other goals
> too. Major theoretical work and refactoring must be undertaken to
> accomplish that.

Yes, but it's such a cool goal!

Thanks,
Jay