search

cjavad / dare

Rust implementation of a tableau parser for logical expressions and generation of math output.
Other
4 stars 0 forks source link

Fix height #39

Closed ChangeCaps closed 2 years ago

ChangeCaps commented 2 years ago

Fixes height calculation in latex writer