Introducing Lemma: an open-source macOS PDF reader for mathematics (SwiftUI, AppKit, PDFKit)

Hi all, I've been building Lemma, a free and open-source (GPL-3.0) PDF reader for math-heavy books and papers on macOS: GitHub - 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. · GitHub It reads a PDF once and turns references like "Theorem 2.3" or "(3.41)" into links. Hovering shows a preview, clicking opens the statement in a panel right under the line you're ...