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.
update dependencies master
Author Christian van der Loo Date (Jan 25, 2022, 5:27 AM UTC) Commit
Copy SHA
Parent 9331b9b2 9331b9b251b4fb9cf6ca147c31b1031c8c7f93fa