Lemma is a free, open-source Mac PDF reader for math-heavy books and papers. References like "Theorem 2.3" or "(3.41)" become links you can preview and peek at, proofs fold, and the derivations you write are checked line by line. 45 free textbooks are one click away (ESL, ISLP, Axler, Bishop...). No account, everything runs on your Mac.