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.
Added functionality to work in all cases except when cuts are adjacent, ex: ({P})({Q}) master
Author rsdexter Date (Apr 5, 2020, 10:03 PM UTC) Commit 0bff98c0 0bff98c0d0e5f352dcf908a151a1e0600e481386 Parent fe8e10ad fe8e10ad934a3e1d753ccd96aed3bea5e2a36931