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.
Merge branch 'master' of github.com:chrisvander/existential-graphs into Iteration master
Author Chris Vanderloo Date (Apr 28, 2020, 3:11 AM UTC) Commit d1ee70a5 d1ee70a58cc9072ed7206b7868b5d0009ac51a3e Parent 86c72bc4 86c72bc4588be4c844d5a91e0f75f7560ef27922