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.
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.