GitHub repository: Bram-Hub/VisualLogic
Primary language: C#
Description: Program to express formal logic visually using existential graphs