Comment by InkCanon
It's someone I wondered, what is the point of memorizing a proof if it only ever proves something you already know. The answer is you hope it generalises. There is a possible way you can do it in SRS, being inspired by RL training. Instead of cards you'd show options within a game or simulation. But this would need a lot of expert knowledge for a single concept.
Sure, but if you are memorizing the proof instead of understanding it, you aren't going to be able to generalize it.
In general, math is not a subject where memorization is going to get you ahead. The "why" matters much more than the "what".