Predicate Logic Visualizer

Predicate Logic Visualizer is a small Rust app that parses a predicate logic formula and visualizes its abstract syntax tree. Type a formula like ∀x (P(x) → ∃y Q(x, y)) and see how it breaks down.

You can try it at predicate-logic.yendric.be. Source code: https://github.com/Yendric/predicate-logic-visualizer