Humdrum

• Humdrum Overview
• proof Documentation
  • Using proof
  • structure of the 0.1 code
  • Javadoc
• roadmap
• Project Page

proof Overview

The original proof documentation is excellent.

`proof` is a command in the humdrum toolkit for checking the validity of a kern or humdrum file. It detects all errors listed in either the humdrum specification or the kern specification. There is no output if there are no errors.

Proof is a rewrite of the original proof written as part of the Humdrum toolkit originally from CCRMA at Stanford, later taken up by Dr. Huron now at Ohio State. The proof command present is originally written by Daniel McEnnis as part of a class project. However, the design did not readily allow for expanding it to the full toolkit.

The latest version comes with three projects in Eclipse 3.6 format. Copy them into a working Eclipse 3.6 system. Then export a jar file with manifest from the proof01 project. This will be made simpler in later releases. Alternatively, download the existing binary and use it.