kontroli (cargo): Type checking for the lambda-Pi calculus modulo rewriting
Keywords: type-checking|rewriting|dedukti|dependent-types|verification|logic|rust|typechecker