General information

When checking the proof file only the first 10 errors of each type are listed.

Before Running the Programs

The Program