Zulip Chat Archive

Stream: new members

Topic: Stack Exchange


view this post on Zulip Mark Gerads (Feb 28 2021 at 10:26):

In general, I find Stack Exchange a useful tool. Would it be a good idea to make a Mathlib Stack Exchange?

view this post on Zulip Eric Wieser (Feb 28 2021 at 10:36):

Are there any other languages, let alone libraries, that have their own stackexchange?

view this post on Zulip Eric Wieser (Feb 28 2021 at 10:36):

There's a lean tag on stackoverflow

view this post on Zulip Mario Carneiro (Feb 28 2021 at 10:55):

There aren't nearly enough users to support an entire stack exchange. You can use the lean tag on SO, but I think you will get best results by just asking questions here

view this post on Zulip Mario Carneiro (Feb 28 2021 at 10:56):

There might be enough users to support a formal methods stack exchange if you throw all ITP and ATP users into one pot

view this post on Zulip Kevin Buzzard (Feb 28 2021 at 12:18):

If you ask a question on SO and tag it Lean then there's a bot here which flags it -- see e.g. https://leanprover.zulipchat.com/#narrow/stream/116290-rss/topic/Newest.20questions.20tagged.20lean.20-.20Stack.20Overflow/near/226312751


Last updated: May 08 2021 at 10:12 UTC