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

(github.com)

2 points | by fus3r 4 hours ago ago