Andrew Reynolds e067b5261b Make unit tests for proofs more robust wrt rewrite rules (#11601) ...

The helper method `create_rewrite_proof` no longer generates rewrite
rule holes on my dev branch, since the given rewrite is handled by
ARITH_POLY_NORM now.

2025-02-10 22:35:29 +00:00

5.1 KiB

Raw Permalink Blame History

View Raw