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/pies_pise_355x317.png

PISE, the Proofscape Integrated Study Environment#

../_images/screenshot2.png

PISE IS:

  • A place to study and annotate proofs

  • An open-source project

  • A web app

  • A desktop app

Getting Started#

  • Tour of Features: For an introduction to the features of PISE, try taking the ZB119 Tutorial.

  • Try it yourself: Open the demo workbook, where you can edit and build modules online.

  • Download: Get the Proofscape ISE

Operation#

  • Basic Operation of the Proofscape ISE
  • Advanced Operation of the Proofscape ISE
Next
Basic Operation of the Proofscape ISE
Previous
Proofscape-flavored JSON
Copyright © 2022, Proofscape contributors
Made with Sphinx and @pradyunsg's Furo
Contents
  • PISE, the Proofscape Integrated Study Environment
    • Getting Started
    • Operation