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 adds the selection as a child of itself, but does so properly master
Author rsdexter Date (Apr 28, 2020, 1:13 AM UTC) Commit 4a5b62a1 4a5b62a1b0e301fe4b5f8524e46e3fa1e6e20fcb Parent 07f28ac7 07f28ac7d78b23c90dc98ba04e9ae4dc62c6a2ae