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.
removed useless func master
Author Chris Vanderloo Date (Apr 26, 2020, 11:43 PM UTC) Commit ebe7458a ebe7458a411d03116812fafee36f3e37bd7835e8 Parent 540fb870 540fb8705952116b92b05fea3d6b36ab9f7b17f7