Here are some screenshots of the ProverBox. Click on an image to view it full-size.
Main Window with Editor, Command Prompt and Output |
Resolution Tree with Tooltip |
Editor with Syntax and Type Checking |
Integrated Help System |
Working with Boolean Circuits |