chrisvanderloo.com / existential-graphs
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Fork 0
Watch

DCRemove now also works when selection is within another cut, adding the children to the correct cut instead of the top of the step master
Author rsdexter Date Commit b4150ed8 Parent 1c286c0d
+8 -8
1 changed file