Software Developed by kern-proof.sourceforge.net

Proof Substitute for the Humdrum Toolkit  v.0.3.1

Reimplementation of the proof command from the Humdrum toolkit in Java

Newest Reviews