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