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.
prototype for findID function to find the element of a given ID in a step master
Author rsdexter Date (Apr 26, 2020, 4:22 AM UTC) Commit bab0a775 bab0a775d6c1e75320c240c034e89084a3558d62 Parent e6fa95c5 e6fa95c5caba6d12efddfa7797026fdcd7da7a3b