Fix axiom and expr - #2

Open

windtf wants to merge 4 commits into

mainfrom

fix-axiom-and-expr

Commits on Jul 6, 2026

handle type errors in edge cases
windtf
committed
25dfe47
fallback to original expression when type mismatch due to axioms
windtf
committed
d292ff1
force evaluate counterexample
windtf
committed
47dd4aa

Commits on Jul 8, 2026

more percise time measuring
windtf
committed
451c62c