RAIRLab/Peirce-My-Heart

A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.