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.
resolved input box for insertion
Author Chris Vanderloo Date (Nov 30, 2020, 12:25 AM UTC) Commit
Copy SHA
Parent f3595e50 f3595e5050aab91f87640c2dea859326dd5514e3