Contents Menu Expand Light mode Dark mode Auto light/dark mode
Proofscape
Light Logo Dark Logo
  • Language
    • Proofscape Module Tutorial
      • Deductions
      • Modules
      • Nodes
      • Node Types
      • Subdeductions
      • Contradictions and Cases
      • WOLOG
      • Running Definitions
      • Downward Flow
      • Annotations
    • Meson Language Tutorial
      • Inference
      • Support
      • Combining inference and support
      • Modals
      • Flowing
      • Roaming
      • Methods
      • Special Nodes
      • Rules
      • Grammar
    • Proofscape-flavored JSON
  • PISE, the Proofscape Integrated Study Environment
    • Basic Operation of the Proofscape ISE
    • Advanced Operation of the Proofscape ISE
  • Downloads
    • Get the Proofscape ISE
    • Get the Proofscape Browser Extension
  • Components
  • In the literature
Back to top
_images/ddd_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_light.png

All three activities – translating, compiling, and browsing – take place in PISE, the Proofscape Integrated Study Environment.

Next
Language
Copyright © 2022, Proofscape contributors
Made with Sphinx and @pradyunsg's Furo