How to publish a corrected proof for a claimed mathematical result?
I had a similar problem with one of my conference papers. We posted a revised version on arxiv, specifying in a footnote what the mistake was and how it was corrected. The correct proof made it official appearance in a journal paper that was partially based on the the conference one.