Original Summary

working through a stats textbook, i spent half my time flipping back to "see (3.41)". so i built lemma: it reads the pdf once and turns references into links you can preview, folds proofs, and checks the derivations you write. free and open source, mac only for now. if you read math-heavy pdfs on a mac, i'd like to know where it breaks: https://github.com/fus3r/lemma   submitted by   /u/r1adfus3r [link]   [comments]

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：Reddit · SideProject
  • 发布时间：2026/10/18 22:12:23