fus3r/lemma

An IDE for reading mathematics: a free, open-source PDF reader for the Mac that turns references into links, proofs into steps and checks derivations as you write them.

3 best points · 0 comments · 1 Hacker News post · 15 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Lemma, an IDE for reading mathematics (macOS, open source) (3 points, 0 comments, by fus3r, 2026-10-12)