chrisvanderloo.com / existential-graphs
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Fork 0
Watch

step buttons change colors after click, but are always one update behind master
Author rsdexter Date Commit 8694de6b Parent c1517d5d
+38 -3
1 changed file