[zetalyrae]

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.