When it comes to formulate Anki cards it’s good to have the 20 rules from Supermemo in mind,
The important thing is to understand before you memorize. You should never try to memorzize a proof without understanding it in the first place.
Once you have understood the proof think about what’s interesting about the proof.
Asks questions like: “What axioms does the proof use?” “Does the proof use axiom X?”
Try to find as many questions with clear answers as you can.
Being redundant is good.
If you find yourself asking a certain question frequently invent a shorthand for them.
axioms(proof X) can replace “What axioms does the proof use?”
If you really need to remember the whole proof then memorize it step by step.
Proof A:
Do A
Do B
becomes 2 cards:
Proof A:
[...]
Proof A:
Do A
[...]
If you have a long proof that could mean 9 steps and 9 cards.
When it comes to formulate Anki cards it’s good to have the 20 rules from Supermemo in mind,
The important thing is to understand before you memorize. You should never try to memorzize a proof without understanding it in the first place.
Once you have understood the proof think about what’s interesting about the proof. Asks questions like: “What axioms does the proof use?” “Does the proof use axiom X?” Try to find as many questions with clear answers as you can. Being redundant is good.
If you find yourself asking a certain question frequently invent a shorthand for them. axioms(proof X) can replace “What axioms does the proof use?”
If you really need to remember the whole proof then memorize it step by step.
Proof A:
Do A
Do B
becomes 2 cards:
Proof A:
[...]
Proof A:
Do A
[...]
If you have a long proof that could mean 9 steps and 9 cards.
Thanks!