I haven't tried it. But it's a two step process: 1. Take the proof from the book (usually couple paragraphs of prose-heavy sleight of hand) and rewrite it into

I haven't tried it. But it's a two step process: 1. Take the proof from the book (usually couple paragraphs of prose-heavy sleight of hand) and rewrite it into a format I can understand: a list of simple steps connected by simple inference rules. 2. Split them up until each proof is 5-7 steps. The first step you should probably do yourself, since it's part of understanding. The second step GPT can probably help with.