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.
general starting point for existential graphs master
Author Chris Vanderloo Date (Mar 31, 2020, 11:03 PM UTC) Commit 020a11d3 020a11d3bfaaa67ef34f4c1c6ad025d80b79ff5c Parent e2d94aed e2d94aedb46065061d08788dd8904a3ce3d74677