search

RAIRLab / Peirce-My-Heart

A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
https://rairlab.github.io/Peirce-My-Heart/
MIT License
10 stars 0 forks source link

Ctrl+Z Ctrl+Y for Proof and Draw modes #270

Closed James-Oswald closed 6 months ago

James-Oswald commented 11 months ago

Undo stuff, redo stuff