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

Category: other

Tags: pdf-reader, mathematics, macos, ide, proof-checking, note-taking

Score: 7.3/10 (Innovation: 7, Technical: 8, Documentation: 8, Utility: 6)

Lemma is a macOS PDF reader that turns mathematics textbooks into navigable, IDE-like documents with linked references, foldable proofs, and a proof debugger. Its standout feature is checking derivation steps for correctness using random value testing, plus integrated note-taking and AI assistance. It's an innovative tool for students and researchers who read dense mathematical texts.

Target audience: mathematics students, researchers, and educators

Repository: https://github.com/fus3r/lemma · Swift · GPL-3.0 · 12 stars

View on Hacker News