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 'ArrayConverter' of github.com:chrisvander/existential-graphs master
Author Chris Vanderloo Date (Apr 5, 2020, 10:48 PM UTC) Commit 56f1e925 56f1e9250984ba34bc39e7be491be631dca9c920 Parent e3a7bf9f e3a7bf9f8a544f5c9012fa895fe66ccbc14aa9ba