Because I've had it up to here with my real work, I've made a little bot that wants to see collect every natural number: @enumerator. If you toot it a number it hasn't seen before, it'll thank you

@christianp @enumerator oh, is this the dual to every_peano on Twitter?

@lm hopefully it's a bit more interesting than that

@christianp Oh my, I could waste hours on this. 🙂 @enumerator

A Mastodon instance for maths people. The kind of people who make $\pi z^2 \times a$ jokes.

Use $ and $ for inline LaTeX, and $ and $ for display mode.