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.
added yarn to devcontainer
Author Christian van der Loo Date (Jan 25, 2022, 5:21 AM UTC) Commit
Copy SHA
Parent c603f658 c603f658c6b21974fa2c0c56a63037d8c4c10670