RAIRLab/Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
TypeScriptMIT
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
TypeScriptMIT