proof-tree-builder/proof-tree-builder.github.io

Term parenthesization w.r.t. operator precedence

joom opened this issue · 0 comments

joom commented

Currently 2*(i+1) prints as 2 * i + 1, which is wrong.