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.