Stream: Coq users

Topic: Meta? Is it okay to ask mathy questions here?

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

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:29):

please use the Misc stream for non-Coq questions https://coq.zulipchat.com/#narrow/stream/237655-Miscellaneous

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

Thank you!

Last updated: Sep 26 2023 at 13:01 UTC