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
10
stars
0
forks
source link
Deiteration working
#258
Closed
DawnTheWitch
closed
11 months ago