Proofscape Browser Extension

Overview

The Proofscape Browser Extension enables PDFs from the web to open automatically in PISE, the Proofscape Integrated Study…

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.

0 out of 5
No ratings
Learn more about results and reviews.

Details

Version
3.0
Updated
November 10, 2022
Flag concern
Offered by
Steve Kieffer
Size
1.04MiB
Languages
English
Developer
Email
support@proofscape.org
Non-trader
This developer has not identified itself as a trader. For consumers in the European Union, please note that consumer rights do not apply to contracts between you and this developer.

Privacy

The developer has disclosed that it will not collect or use your data.

This developer declares that your data is

Not being sold to third parties, outside of the approved use cases
Not being used or transferred for purposes that are unrelated to the item's core functionality
Not being used or transferred to determine creditworthiness or for lending purposes

Print All Open Tabs

3.5

Effortlessly Save Your Browser Tabs as PDFs Print All Tabs to PDF is a simple yet powerful Chrome extension that allows you to…

PDF Bookmark

4.2

The easiest way to have all your PDF file organized for FREE! Do you want to have all your books in one place with a bookmark in a…

Image downloader - Zip Sniper

0.0

ZipSniper is Image Downloader. Lists the images (jpg/jpeg/png/webp/gif) of the currently opened page. Select the images you want to…

Optexity Recorder

5.0

Use this extension to record your workflow as you take actions on the browser. Optexity will process this recording to convert that…

Colmena Descarga XML

5.0

Descarga automáticamente tus archivos XML, TXT y PDF desde el sitio web del SRI con nuestra extensión. Al estar conectado al SRI,…

Auto Reloader

0.0

Reload a displayed tab at interval that you input. The reload feature works while a popup opens. This extension will be helpful…

Chrome PDF MultiSearch

0.0

Chrome PDF extension offers a convenient solution for searching PDF files across multiple search engines (google, yandex, bing).…

Datadog Browser SDK developer extension

5.0

Browser extension to investigate Datadog Browser SDK integration by: - displaying collected events - visualising the render of…

RobinRecorder

5.0

The extension is intended for interaction of the ROBIN platform with the Google Chrome browser. The extension allows user to…

Glance - Automatically rename downloaded file

4.0

超实用的浏览器插件Glance，自动命名网页上下载的文件！有没有遇到过这种情况：下载了一堆PDF论文、图片等文档，结果文件名全是一串乱码或无意义数字？每次都要手动重命名，特别浪费时间！…

PDFinFLIP - FREE PDF TO FLIPBOOK

5.0

Convert PDFs into interactive flipbooks with page-turn effects. Supports quick preview and HTML export.

Easy PDF Viewer

0.0

Bring simplicity to viewing and converting PDFs right from your browser! Easy PDF Viewer enhances your browsing experience by…