Temporary copy of tea
- while the official site is down. (Relevant post on MathOverflow Meta:
Tea archive (mathoverflow.tqft.net) seems to be down
.)