My experience attempting math with Anki was similar even though it was just a few undergrad papers. It can still have its place, just it won't get you nearly as

My experience attempting math with Anki was similar even though it was just a few undergrad papers. It can still have its place, just it won't get you nearly as far as it gets you when learning a language or history or other more easily digestible things. It's exactly as you say. Small, quick to review facts. Anything else makes reviews unbearable. In a somewhat related experiment I'm trying to use it to learn codebases. Important classes, outline of code paths etc. It's challenging. It sort of works and sort of doesn't. I'm finding a similar thing to how you mention learning milestones in a proof. Kind of memorizing hints that can help you rather than full sequences of things.