You can take advantage of spaced repetition just for scheduling the review of proofs and problems you've solved before.

By review, I mean attempting to solve them like you're seeing the problem statement for the first time.