I witness a user, called "learner123", posting similar questions on Stackoverflow and ProofAssistants Stackexchange, then suddenly all his questions are "voluntarily removed". See:
- How to define a counting function with fold in Coq? – stackoverflow.com
- How to prove that in Coq that [split] and [combine] are inverses? – stackoverflow.com
- How to prove in Coq that [split] and [combine] are inverses? – stackoverflow.com
- How to prove that [split] and [combine] are inverses in Coq? – proofassistants.stackexchange.com
- How to prove in Coq these 2 theorems with [count_fold]? – proofassistants.stackexchange.com
(Notes: These URLs can be obtained here.)
I'm not sure whether the user has deleted his account or just his questions after getting an answer, because the questions are removed.
This is rude. It wastes people's time and means anyone with a similar question won't find the answer. I suspect the user is abusing the system for his homework problem, and is afraid of his professor to find out that he cheated.
I'm raising the issue hoping that people can come up with a way to curb this kind of behaviour. A simple solution is to simply disallow users to delete their own posts!