A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
-
Updated
Jan 5, 2025 - TypeScript
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
Program to express formal logic visually using existential graphs
(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
To associate your repository with the existential-graphs topic, visit your repo's landing page and select "manage topics."