feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients (#1912) - #2034

Open

morluto wants to merge 4 commits into

mainfrom

agent/finite-universal-algebra-1912

Commits on Aug 18, 2026

feat(math): add universal algebra domain with term evaluation, equation profiles, subalgebras, congruences, and quotients
morluto
committed
dc4f270
wire(universal_algebra): register domain, snapshot, baselines, tests
morluto
committed
58db13e

Commits on Aug 19, 2026

ci: fix lint
morluto
committed
4536d93
fix(universal_algebra): import OperationSymbol
morluto
committed
a77e0aa