Skip to content
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)

Contributors (Fall 2023)

Subrina Huda

Dawn Moore

Ryan Reilly

Anusha Tiwari

Contributors (Spring 2024)

Nobody.

Contributors (Fall 2024)

Who knows?

Main Wiki Page

About EGs and Peirce My Heart (For Users)

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?

About Peirce My Heart's Internals (For Developers)

How Is Peirce My Heart Organized? (Devs, Start Here!)

How Is the Source Code Organized?

How Are the Tests Organized?

How Can I Contribute?

Misc (For Nerds)

Are There Other Kinds of Existential Graphs?

Clone this wiki locally