proofdict-tester (npm): Test tool using proofdict.
Keywords: prooftest|dictionary|testing|test