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.
variables assigned levels at creation and changeLevel function changes their levels upon reaching them master
Author rsdexter Date (Apr 28, 2020, 5:23 AM UTC) Commit fe9ea82c fe9ea82c88bec8c5958cf9d4f1f2fb49b10a91fb Parent 95d134d9 95d134d9c2285d1e212a330c979ae493c5f1ef9e