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.
allowed Iterate/Deiterate to select all vars master
Author rsdexter Date (Apr 28, 2020, 4:20 AM UTC) Commit 1b228101 1b228101b853d976f8057e876bc612f5a9375e15 Parent c9facfc1 c9facfc15b1065f4524f68f60291097908b185b4