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: 1. Do A 2. Do B becomes 2 cards: ---------------------------------------- Proof A: 1. [...] ---------------------------------------- Proof A: 1. Do A 2. [...] ---------------------------------------- If you have a long proof that could mean 9 steps and 9 cards.

I've been doing something similar (maths in an Anki deck), and I haven't found a good way of doing so. My current method is just asking "Prove x" or "Outline a proof of x", with the proof wholesale in the answer, and then I run through the proof in my head calling it "Good" if I get all the major steps mostly correct. Some of my cards end up being quite long. I have found that being explicit with asking for examples vs definitions is helpful: i.e. ask "What's the definition of a simple ring?" rather than "What's a simple ring?".