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.
138 B · 9 lines
JavaScript
at master
123456789export default { gridSize: 1, cutPadding: { horizontal: 10, vertical: 5 }, cutCornerRadius: 10, initialSeparation: 50,}