Proof Substitute for the Humdrum Toolkit

License: Free ‎File size: N/A
‎Users Rating: 5.0/5 - ‎1 ‎votes

Reimplementation of the proof command from the Humdrum toolkit in Java

VERSION HISTORY

  • Version files posted on 2011-02-05
    Several fixes and updates
  • Version N/A posted on 2011-02-05

Program Details