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

(github.com)

2 points | by fus3r 5 hours ago ago