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.
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Erasure master
Author rsdexter Date (Apr 28, 2020, 1:55 AM UTC) Commit b5667997 b56679976e945645749d0900912b38be01e233a5 Parent d0d8fc3f d0d8fc3fba7f5b68228f9dd27ae488777c305444