Humdrum

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

Using proof

`java -jar proof01.jar 'file name'`

`java -jar proof01.jar ` to read from the command line.