4 skills found
RAIRLab / Peirce My HeartA graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
eddiekrystowski / Existential GraphsNo description available
Gerzer / Existential Graphs FoundationFoundational data structures and operations that support the representation of existential graphs
Bram-Hub / VisualLogicProgram to express formal logic visually using existential graphs
