Contents Menu Expand Light mode Dark mode Auto light/dark mode
Proofscape
Light Logo Dark Logo
  • Tutorials
    • Tutorial for Users
      • Theorem 119 Tutorial
      • Linking
      • Multiple Screens
      • Expansion Modes
    • Tutorial for Authors
      • Basics
        • Part 1: Getting Started with Deductions
        • Part 2: Annotations
        • Part 3: Sphinx Pages
        • Part 4: Doc Widgets
        • Part 5: Doc Labels
        • Conclusion
      • Additional Topics
        • Part 6: Example Explorers
        • Part 7: Navigation Groups
        • Conclusion
    • Meson Language Tutorial
      • Inference
      • Support
      • Combining inference and support
      • Modals
      • Flowing
      • Roaming
      • Methods
      • Special Nodes
      • Rules
      • Grammar
      • Conclusion
  • Proofscape Reference
    • The Proofscape Library
      • Data Types and Content Types
      • Library Basics
      • pfsc files
      • rst files
    • Deductions
      • Deductions
      • Nodes
      • Node Types
      • Subdeductions
      • Contradictions and Cases
      • WOLOG
      • Downward Flow
    • Pages
      • Annotations
      • Sphinx Pages
    • Widgets
      • Nav Widgets
        • Chart Widgets
        • Doc Widgets
      • Examp Widgets
        • Parameter Widgets
        • Display Widgets
      • Control Widgets
      • Other Widget Types
    • Running Definitions
    • Doc Refs
    • 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
Copyright © 2022-2024, the Proofscape Contributors
Made with Furo