alpha
Login
Join now
chrisvanderloo.com
/
existential-graphs
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
[READ-ONLY] Mirror of https://github.com/chrisvander/existential-graphs. Cross-platform React app for solving existential graph-based proofs
Star
Starred
Star
Something went wrong. Try again.
Fork
0
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
existential-graphs
/
src
/
canvas
7 files
at
DoubleCutAdd
rsdexter
·
DCRemove now also works when selection is within another cut, adding the children to the correct cut instead of the top of the step
·
6y ago
b4150ed8
Canvas.js
DCRemove now also works when selection is within another cut, adding the children to the correct cut instead of the top of the step
6y ago
Canvas.scss
fixes, IDs
6y ago
config.js
fixes, IDs
6y ago
EGCut.js
Selection of double cut and execution
6y ago
EGVariable.js
Selection of double cut and execution
6y ago
StepMenu.js
added some stuff
6y ago
Toolbox.js
merge of DoubleCut, utilize new interaction for removal
6y ago
