Ich habe diesen Formelparser geschrieben, um ein wenig mit Dart herum zu spielen.
Zum parsen wird eine Abwandlung des Shunting Yard Algorythmus verwendet.
Die Auswahl der Operatoren beruht auf der Vorlesung "Einführung in die Logik und Argumentationstheorie" von Dr. Ali Behboud.