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 iteration levels and allowed iterating with variables master
Author rsdexter Date (Apr 28, 2020, 2:37 PM UTC) Commit 9b45b0cb 9b45b0cb83af8116a7756f6d45a09465a0392f5f Parent eb07561c eb07561cbe15dc8bf3bc0a99594f674da9bcbcce