Spaced proof review is not about memorizing proofs

Spaced proof review involves proving a result at spaced intervals with the help of Anki. And Anki is about memorizing things. So at first glance, it seems like the goal of spaced proof review is to memorize proofs. But this is not how I like to think about it. It's true that you want to be able to prove the same results over a long period of time, but the way you attain this isn't to memorize the proofs. Instead, you're trying to acquire a generic ability to prove things.

using anki as a problem bank (with my proofs deck): the spacing is more to make sure seeing the same problem over and over again does not trigger your annoyance threshold, than to memorize optimally. actually you're not even trying to memorize the proofs, but to "absorb the rhythm" of the underlying concepts. When you're proving things, there's a bunch of non-verbal instincts/"mental moves" that go on (which are pretty hard to consciously observe reason about). The point isn't to do like supervised learning on the text of the proof and be able to reproduce is perfectly. instead, you're training yourself to practice these mental moves, in a spaced out way.