Downloads

Software

	The Proofscape Integrated Study Environment – “PISE” for short – is like an IDE (integrated development environment) for the proofscape language. But the emphasis is on helping you study mathematics, hence the name.
	“The PBE puts the PDFs in PISE.” The Proofscape Browser Extension allows PDFs to load automatically and effortlessly in PISE, avoiding tedious manual download and selection from file-chooser dialogs.

How to get it

• Get the Proofscape ISE
• Get the Proofscape Browser Extension