Support chained equalities in the answer and response - #278

Draft

m-messer wants to merge 1 commit into

feature/inequalitiesfrom

feature/chained-equalities

Commits on Sep 21, 2026

Added support for chained equalities in symbolic equivalence checks, parsing, and feedback, with tests and documentation updates.
m-messer
committed
0a23d3d