Screenshots
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
Info
Home
Description
Contact
Download
Get Started
Registration
License
Release Notes
Resources
Documentation
Examples
ProverBox
ProverBox
