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