Open Issues Need Help
View All on GitHubAn 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.