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.
changeCutLevel function inc/decreases the levels of a cut and all cuts inside it master
Author rsdexter Date (Apr 27, 2020, 3:22 AM UTC) Commit ec0543a8 ec0543a837ca0f9b8876f56fa10e3163d1d57679 Parent 969ddfbf 969ddfbf8a252026dcf02696e5e4381129de3c84