Sign in
Join now
existential-graphs
chrisvanderloo.com
/
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
Eye filled
Watch
Watching
Watch
Overview
Overview
Issues
Issues
Pulls
Pulls
Pipelines
Pipelines
existential-graphs
/
src
2 folders
·
12 files
at
Iteration
rsdexter
·
variables assigned levels at creation and changeLevel function changes their levels upon reaching them
·
6y ago
fe9ea82c
canvas
variables assigned levels at creation and changeLevel function changes their levels upon reaching them
6y ago
intro
dragging, basic grouping
6y ago
.Rhistory
general starting point for existential graphs
6y ago
App.js
changes to stepmenu
6y ago
App.scss
fixed some styling
6y ago
App.test.js
Initialize project using Create React App
6y ago
colors.scss
some basic ui stuff
6y ago
converters.js
small changes
6y ago
index.js
general starting point for existential graphs
6y ago
index.scss
general starting point for existential graphs
6y ago
operators.json
initial window, animations, load canvas
6y ago
serviceWorker.js
Initialize project using Create React App
6y ago
setupTests.js
Initialize project using Create React App
6y ago
verifySentence.js
dragging, basic grouping
6y ago