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
Jan 5, 2025 - TypeScript