Proofscape Browser Extension Steve Kieffer מאת

The Proofscape Browser Extension enables PDFs from the web to open automatically in PISE, the Proofscape Integrated Study Environment. It also provides a dedicated on-disk PDF cache, to avoid repetitive downloads.