A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
WIP Gamma Existential Graph Theorem Prover. RCOS Fall 2024 Project
subject heading and facet classification. Graph and tassonomy. Propositional calculus and boundary logic. Conceptual graph and PRECIS
Add a description, image, and links to the charles-sanders-peirce topic page so that developers can more easily learn about it.
To associate your repository with the charles-sanders-peirce topic, visit your repo's landing page and select "manage topics."