[randomchars]

http://ankisrs.net/

I'm not sure what kind of cards you should make for this as I didn't use it to learn proofs (only starting uni this fall) but I've used it for everything from equations and syntax to poems.

The key is to break the info into the smallest pieces that still make sense. You'll also inadvertently learn a lot by making the cards.