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.