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.
cleaned up a little master
Author Chris Vanderloo Date (Apr 27, 2020, 11:38 PM UTC) Commit 1c911eb5 1c911eb59e5aa98952e0488e3acb84bce31f58ab Parent 4c7e7818 4c7e7818770ee6536e29e88b5fde4b787c93b5e5