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.
Iteration now changes levels of the graph inserted appropriately master
Author rsdexter Date (Apr 28, 2020, 1:51 AM UTC) Commit 4fac9950 4fac99500fcf9d4f31aa8969c84cac9d662a908c Parent 4a5b62a1 4a5b62a1b0e301fe4b5f8524e46e3fa1e6e20fcb