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.
lemma
Latest version:3.4.0
Release date:
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.