I like the way you have equivalences and inferences defined as functions expr -> expr. But it seems those are not exposed via the user interface, or am I missin

I like the way you have equivalences and inferences defined as functions expr -> expr. But it seems those are not exposed via the user interface, or am I missing something? Related: A few years ago I wrote a propositional logic parser in Dart [1] using a custom shunting yard parser and later as part of my bachelors thesis [2] another one [2] in javascript using PegJS. [1] https://static.laszlokorte.de/logik/ https://static.laszlokorte.de/logik/ (source: https://github.com/laszlokorte/dart-logic https://github.com/laszlokorte/dart-logic) [2] https://thesis.laszlokorte.de https://thesis.laszlokorte.de [3] https://thesis.laszlokorte.de/demo/logic-editor.html https://thesis.laszlokorte.de/demo/logic-editor.html