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

/ProofTools/ Docs! #328

Closed RyanR712 closed 8 months ago

RyanR712 commented 8 months ago

Make treeContext.ts -> TreeContext.ts as well as... make all references to it use the correct capitalization...

RyanR712 commented 8 months ago

Tests well, refactors and all. Marking as ready for review. Have at em!