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

Commits on master

Christian van der Loo
update dependencies
committed
Christian van der Loo
added yarn to devcontainer
committed
Christian van der Loo
add python
committed
Christian van der Loo
Merge branch 'master' of https://github.com/chrisvander/existential-graphs
committed
Christian van der Loo
added port and postinstall to devcontainer
committed
Chris Vanderloo
Merge pull request #13 from chrisvander:dependabot/npm_and_yarn/nanoid-3.1.31
committed
Christian van der Loo
added devcontainer
committed
dependabot[bot]
Bump nanoid from 3.1.16 to 3.1.31
committed
Chris Vanderloo
fixed commonly observed bug of duplicates reapplying after undo
committed
Chris Vanderloo
fixed mode kicking out when selection is poor
committed
Chris Vanderloo
resolved input box for insertion
committed
Chris Vanderloo
fixed up insertion
committed
Chris Vanderloo
fitch-style notation checkbox
committed
Chris Vanderloo
fixed recent docs deletion
committed
Chris Vanderloo
Added Goal view on right
committed
Chris Vanderloo
macOS Big Sur compatability updates
committed
Chris Vanderloo
rewrote converters
committed
Chris Vanderloo
undo history now saves with proof
committed
Chris Vanderloo
improved expression parsing from creation steps - built out deiteration
committed
Chris Vanderloo
improvement to checknig level integrity
committed
Chris Vanderloo
stopgap until deiteration is finished
committed
Chris Vanderloo
can move graphs by clicking and dragging (little laggy)
committed
Chris Vanderloo
expanded red highlighting
committed
Chris Vanderloo
red highlight around rejected hover
committed
Chris Vanderloo
removed function that adjusted levels - unneeded
committed
Chris Vanderloo
fixed level miscalculation, modified colors
committed
Chris Vanderloo
fixed conditional
committed
Chris Vanderloo
fixes
committed
Chris Vanderloo
iteration for entire canvas
committed
Chris Vanderloo
fixed iteration bug
committed
Chris Vanderloo
basic interface for insertion
committed
Chris Vanderloo
added delete
committed
Chris Vanderloo
built in double cut add
committed
Chris Vanderloo
fixed toggling off selection state
committed
Chris Vanderloo
improved cancellation
committed
Chris Vanderloo
Merge remote-tracking branch 'origin/master'
committed
Chris Vanderloo
Removed top-level SVGs, added a bit of documentation
committed
Chris Vanderloo
Merge pull request #10 from chrisvander/dependabot/npm_and_yarn/websocket-extensions-0.1.4
committed
dependabot[bot]
Bump websocket-extensions from 0.1.3 to 0.1.4
committed
Chris Vanderloo
shrank window size
committed
Chris Vanderloo
empty cut fixes
committed
Chris Vanderloo
small redo svg fix
committed
Chris Vanderloo
lots of file management updates
committed
Chris Vanderloo
undo/redo
committed
Chris Vanderloo
initial undo/redo ui
committed
Chris Vanderloo
kill selection
committed
Chris Vanderloo
kill selection after failure
committed
Robert Dexter
Merge pull request #7 from chrisvander/IterationFix
committed
rsdexter
fixed iteration levels and allowed iterating with variables IterationFix
committed
Robert Dexter
Merge pull request #6 from chrisvander/Iteration
committed
rsdexter
variables assigned levels at creation and changeLevel function changes their levels upon reaching them Iteration
committed
rsdexter
Merge branch 'Iteration' of https://github.com/chrisvander/existential-graphs into Iteration
committed
Chris Vanderloo
public url for svg
committed
Chris Vanderloo
initial state
committed
Chris Vanderloo
added publicurl handling to assets
committed
Chris Vanderloo
removed docs, added gh-pages
committed
Chris Vanderloo
jekyll ignore
committed
Chris Vanderloo
yarn fixes for build, docs
committed
rsdexter
allowed Iterate/Deiterate to select all vars
committed
rsdexter
Merge branch 'master' of https://github.com/chrisvander/existential-graphs into Iteration
committed