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.
coloring changes to match the appropriate step currently displayed master
Author rsdexter Date (Apr 16, 2020, 4:12 PM UTC) Commit 8aad262c 8aad262c748f301549b1cb5c795ec0171f26233a Parent 8694de6b 8694de6b1b35dd2919a0b2c77a4c6bd86234de0c