← Back to Ficarra
AST Visualizer
Parse algebra & first-order logic into interactive abstract syntax trees
Click a node to inspect · Double-click to collapse
Parentheses are consumed by the parser — only structural operators appear as tree nodes. Live parse updates as you type.