in CRUDE, 2 days ago, by Xander Henderson
I just hate that tag and think that it should be eliminated.
Solution verification and proof critique.
This is something I go back and forth with. On the one hand, we should encourage people to post their own proofs, and it is a good thing when you can post a proof, and knowledgeable people will read it and comment.
But (1) this has very little archival ...