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.
Branches
Name
Commit
Message
Date
Bump decode-uri-component from 0.2.0 to 0.2.2
Bump follow-redirects from 1.11.0 to 1.14.8
variables assigned levels at creation and changeLevel function changes their levels upon reaching them
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Erasure
DCRemove now also works when selection is within another cut, adding the children to the correct cut instead of the top of the step