cjavad/dare

Rust implementation of a tableau parser for logical expressions and generation of math output.