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

Winter cleanup #344

Closed James-Oswald closed 8 months ago

James-Oswald commented 8 months ago