AEG construction from propositional formulae

RAIRLab / Peirce-My-Heart

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

https://rairlab.github.io/Peirce-My-Heart/

MIT License

10 stars 0 forks source link

AEG construction from propositional formulae #327

Open James-Oswald opened 9 months ago

James-Oswald commented 9 months ago

In draw mode, users should be able to input a propositional formula and have the application construct an AEG that may be placed anywhere on the sheet of assertion.