The run script invokes `coqchk` to check that the proofs are compiled correctly.
The expected outcome is there are no errors during this process.
