Stack Exchange

Stream: new members

[Mark Gerads]

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

[Eric Wieser]

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

[Eric Wieser]

There's a lean tag on stackoverflow

[Mario Carneiro]

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

[Mario Carneiro]

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

[Kevin Buzzard]

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