-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Ryan R edited this page Apr 14, 2024
·
11 revisions
A graphical web application for modeling and interactive theorem proving in Charles Peirce's Alpha Existential Graph (AEG) System.
In development for The State University of New York at Albany Capstone Course ICSI-499 Spring Semester. Sponsored by James Oswald (RAIR Lab)
Subrina Huda
Dawn Moore
Ryan Reilly
Anusha Tiwari
Who knows?
Written by Ryan R (RyanR712)
What Is an AEG? (Users, Start Here!)
What Are the Inference Rules for the AEG System?
How Do I Operate Peirce My Heart?
How Do I Know if My Proof Is Valid?
How Is Peirce My Heart Organized? (Devs, Start Here!)
How Is the Source Code Organized?
How Are the Tests Organized?