C cstheory.stackexchange.com Examples of algorithms and proofs that seem correct, but aren't 2 points gfredtech 8 years ago 1 comments