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
Iteration
rsdexter
·
variables assigned levels at creation and changeLevel function changes their levels upon reaching them
·
6y ago
fe9ea82c
Canvas.js
variables assigned levels at creation and changeLevel function changes their levels upon reaching them
6y ago
Canvas.scss
fixes, IDs
6y ago
config.js
fixes, IDs
6y ago
EGCut.js
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Iteration
6y ago
EGVariable.js
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Iteration
6y ago
StepMenu.js
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Iteration
6y ago
Toolbox.js
allowed Iterate/Deiterate to select all vars
6y ago
