AEG construction from propositional formulae
Opened this issue · 0 comments
James-Oswald commented
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.