zakuArbor
commented
2 years ago - have a web application where it flashes random theorems and theoretical questions with explanations
- have optional links to the proofs
- perhaps integrate some open-source flashcard with spaced reptition
- use bootstrap or Madrid theme for theorem,lemma,etc