-
Notifications
You must be signed in to change notification settings - Fork 0
How Do I Know if My Proof Is Valid?
Ryan Reilly edited this page Dec 15, 2023
·
3 revisions
The computer already knows for you. Since Peirce My Heart is an interactive theorem prover, our application checks the validity of your AEG drawings and applied rules as soon as you attempt them.
Get proving, sport! May the Peirce be with you!
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?