![_images/ddd_line_br.png](_images/ddd_line_br.png)
![_images/222_line_br.png](_images/222_line_br.png)
Proofscape is an argument mapping and annotation system for mathematical proofs.
![_images/pfsc_workflow_dark.png](_images/pfsc_workflow_dark.png)
![_images/pfsc_workflow_light.png](_images/pfsc_workflow_light.png)
All three activities – translating, compiling, and browsing – take place in PISE, the Proofscape Integrated Study Environment.
Proofscape is an argument mapping and annotation system for mathematical proofs.
All three activities – translating, compiling, and browsing – take place in PISE, the Proofscape Integrated Study Environment.