Lessness (Oct 22 2020 at 17:31): 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.
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: Dec 07 2023 at 14:02 UTC