dedukti-parse (cargo): Parser for the Dedukti file format
Keywords: rewriting|dedukti|dependent-types|logic|rust|typechecker