issues
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
8
stars
0
forks
source link
Dusting off the broom...
#381
Closed
RyanR712
closed
4 months ago