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

Lemma is an open‑source IDE for reading mathematical documents on macOS. It streamlines the navigation of complex formulas, enabling quick access to relevant se