existential-graphs

There are 3 repositories under existential-graphs topic.

  • Peirce-My-Heart

    Peirce-My-Heart

    A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.

    Language:TypeScript8
  • VisualLogic

    VisualLogic

    Program to express formal logic visually using existential graphs

    Language:C#4

  • EG-Theorem-Proving-in-PMH

    (Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH

    2