infer

Interpreter for inference rules

OTHER License

Stars
13