/Peirce-My-Heart

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

Primary LanguageTypeScriptMIT LicenseMIT

Watchers