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

/src/ docs! #331

Closed RyanR712 closed 8 months ago

RyanR712 commented 8 months ago

For the sake of future developers and consistency!

RyanR712 commented 8 months ago

I will also move the resize/paste buttons in proof mode to the bottom of the button toolbar in proof mode. Feels odd that this has not been done yet, since resize/copy are on the bottom of the button toolbar in draw mode