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

2 points | by fus3r 5 hours ago