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.
fixed commonly observed bug of duplicates reapplying after undo
Author Chris Vanderloo Date (Dec 1, 2020, 6:54 PM UTC) Commit
Copy SHA
Parent 542403bc 542403bca2b574c45db625e3a5c5c0fd6f2d49b9