tstp-proof-checker 0.1