I do need to work out a good way of writing proofs in LaTeX. It feels like mine always get compressed into a paragraph of math symbols. Maybe I just need to focus on writing a sentence or two of exposition per step and make one paragraph per conceptual step.
I assume that you want it for notes and not publications, right? I have been using this style for student physics club handouts and it seems pretty well received. Sometimes with margin notes, if I had some general remark about the proof as a whole but could not figure out how to fit it into the text.