Probe-It!

Capabilities

• Global view
• Local justification view via the IW NodeSet browser
• Graphical rendering of a PML proof
  • DAG and tree style
  • Panning and zooming
• Formula view
• Links to the IW NodeSet browser

Online and Video Demonstration