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.

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

Thank you!

Last updated: Sep 26 2023 at 13:01 UTC