Show HN: Lemma, an IDE for reading mathematics (macOS, open source)
By fus3r · 2026-10-12 · 2 points · 0 comments
https://github.com/fus3r/lemma
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 entire book. And whenever a proof wasn’t detailed enough, I'd screenshot it, ask…
Open the full discussion on BetterNews