offtopic math

Stream: Zulip meta

[Julian Berman]

Is there a stream for math-with-no-real-intention-of-formalizing questions by any chance? Is the #maths stream used in that way?

[Kevin Buzzard]

There's always math.stackexchange :-) but I would imagine that if it was just a one-off people wouldn't object, after all you're a member of the community with a history of on-topic posts

[Julian Berman]

Ah true, I've never actually used math.stackexchange, my alternative was IRC's #math which doesn't tend to be helpful for the question I have.

[Julian Berman]

But thanks! Appreciated.

[Johan Commelin]

#maths is typically used for stuff related to formalizing, but I agree with Kevin that one-off's are fine (in my opinion)