Quelklef / fitch

Interactive proof assistant for Fitch-style natural deduction
https://maynards.site/fitch
3 stars 0 forks source link

Undo #9

Open Quelklef opened 3 years ago

Quelklef commented 3 years ago

Undo currently rests on the browser, which is OK, but not great.

Biggest issue is that one cannot undo a 'proof reset'. Easiest fix would be to perform a history pushstate on proof reset. Then people can undo with the back button!