Stream: Miscellaneous

Topic: Is it okay to ask mathy questions here?

view this post on Zulip Lessness (Oct 22 2020 at 17:31):

For example, asking how to better formalize (and understand) some math or asking for strategies/hints how to prove something complex?
Not sure if such questions should be asked on stackoverflow under Coq tag, as they are math questions more than coq questions.

view this post on Zulip Karl Palmskog (Oct 22 2020 at 17:34):

the "Misc" stream is for any question (within reason), so it's better to just ask the question, instead of asking if you can ask the question... as usual, no answers guaranteed, but we have many mathematically-inclined people here

Last updated: Jul 24 2024 at 11:01 UTC