chrisvanderloo.com / existential-graphs
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Fork 0
Watch

erasure deletes the selection properly when given the ID and creates a new step master
Author rsdexter Date Commit 6f4bd85e Parent 74c23a71
+41
1 changed file