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.

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: Jan 29 2023 at 08:28 UTC