A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
typescript
interactive-theorem-proving
vite
existential-graphs
charles-sanders-peirce
charles-peirce
-
Updated
Nov 17, 2024 - TypeScript