Closed this issue 5 years ago · 0 comments
The user should be able to detach parts of a proof tree as separate proofs. (this wouldn't be that different from deleting)
This and #5 would work together.