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

Proof tree location changes after rule application

Closed this issue · 0 comments

joom commented

Applying a proof tree moves the proof tree to the right. It should stay stable.