Something went wrong. Try again.
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Something went wrong. Try again.
AddDC now functions properly when done inside another cut, adding the child to the corrent place master
Author rsdexter Date (Apr 27, 2020, 4:01 AM UTC) Commit 1c286c0d 1c286c0d4d6fc7b80ef40b5909e9423a8b7788fa Parent ec0543a8 ec0543a837ca0f9b8876f56fa10e3163d1d57679