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.
removed console logs master
Author rsdexter Date (Apr 27, 2020, 6:41 PM UTC) Commit d0d8fc3f d0d8fc3fba7f5b68228f9dd27ae488777c305444 Parent 6f4bd85e 6f4bd85e1c0ef042385d0b88634add5dd3502660