Allow attaching proofs by drag & drop
joom opened this issue · 0 comments
joom commented
If there are two proofs, one of which has an incomplete proof tree, and the other's conclusion is matching exactly to the incomplete goal, then the user should be able to drag the second proof tree onto the incomplete part of the first proof tree, and the proof trees should attach/combine.