The rules I follow
Decks.
Kind of cards.
Definition
Theorem
Hypothesis
Multiple implications
This leads me to another problem. An hypothesis may have many implications. And a property may be implied by many hypothesis. Therefore, it is better to state:
I don't have a ton of math cards, but I have a few, plus I've used anki alongside a few other textbooks (as well as for learning programming languages, which is against the grain of common advice), and I've been using anki effectively for about three years now (I used it ineffectively for several months before that - I think the learning curve of making good cards about the right things is one of the hardest parts of anki).
I think long term retention of these texts is one of the biggest advantages it has. I tend to go through phases of caring and not caring about topics, and with anki I've been able to ignore a text for months and then jump back in pretty quickly (where before I would have had to start mostly over, even if I could move through the old material much faster than before).
Why the grain of common advice (never heard this expression before) says not to use Anki to learn programming language ? I find it useful in order to recall the order of the argument of certain functions, like List.fold_left and List.fold_right, that I often uses when programming.