I'm taking an undergrad course based on Cormen, which includes allot of "prove the correctness of the algorithm" type problems. These are generally not research level problems, so they don't belong on the cstheory site according to it's faq. So where do they go? For example, I posted an answer to a question from Skeina's Algorithm Design Manual on programmers, and got the comment that it belongs on cstheory, but like I said above, the cstheory faq clear states that it's only for research level problems.
What's the right home for these types of questions?