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.
Double cut creates new step using the premises on click master
Author rsdexter Date (Apr 25, 2020, 10:25 PM UTC) Commit 43b4acbd 43b4acbd1cb29305a18066449f0851c13adc3475 Parent 4f3ce0f6 4f3ce0f620571833b52c4f5a5f2a6af60bdf82fb