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

Attaching proof trees that are not previously detached deletes the dragged proof tree

Opened this issue 4 years ago · 0 comments

joom commented 4 years ago

Attaching proof trees that are not previously detached deletes the dragged proof tree