/src/ Docs! No more undergrads!

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! No more undergrads! #333

Closed RyanR712 closed 10 months ago

RyanR712 commented 10 months ago

Marking as ready for review. This concludes the documentation overhaul. Please check that the changes made to the order of the buttons in Proof Mode are acceptable!!!