Using spaced repetition systems to see through a piece of mathematics
You guys might like this:https://getpolarized.io/Polar is an SRS based document management platform and personal knowledge repository I've been working on.It syncs with anki and allows you to create and read flashcards directly in the reader itself.Supports text annotations, highlights, comments, keeps track of where you're reading in documents, supports tags, rich formatting of notes, etc.It's also Open Source and supports cloud sync across your desktop machines.