Hello,
I recently posted a thread: https://coq.discourse.group/t/looking-for-advice-on-codifying-theoretical-math-in-coq/2331/1
I got a notification that left me disappointed as it shows my content is spam. I don’t know what is the reason behind it but I didn’t make anything wrong that violate community guideline. As a professional, I respect community guideline and make useful contribution to help community members.
As my query is genuine and I really need a quick solution to that and I don’t think there is better platform than this to solve my query.
Kindly have a look at my post and make it live again.