Lemma

Lemma is a free and open-source PDF reader designed for macOS that enhances the experience of reading mathematics. It transforms references into clickable links, enables stepping through proofs like a debugger, checks mathematical derivations on the fly, supports annotation and note-taking, and integrates with Python for computation. It includes features like citation previews, document structure navigation, and integration with AI assistants for questions.