A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
Home Page:https://rairlab.github.io/Peirce-My-Heart/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool