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

Mode vs Tool #233

Closed DawnTheWitch closed 11 months ago

DawnTheWitch commented 11 months ago

Currently there is leftover files and enums with the name of mode, we were changing this to tool however some of these were leftover.