Humdrum Logo

Humdrum

Get Proof Substitute for the Humdrum Toolkit at SourceForge.net. Fast, secure and Free Open Source software downloads

Using proof

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

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