-
Notifications
You must be signed in to change notification settings - Fork 0
Home
Ryan Reilly edited this page Dec 15, 2023
·
11 revisions
Welcome to the Peirce-My-Heart wiki!
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?