Lemma, an IDE for reading mathematics (macOS, open source)

I built Lemma while working through The Elements of Statistical Learning (using the Preview app). Kept running into references like "(3.41)" or "by Theorem 2.3" forcing me to scroll back through the e