Allow the simplifier to use facts in its can_prove() predicates. - #9400
Open
mcourteaux wants to merge 9 commits into
Open
Allow the simplifier to use facts in its can_prove() predicates.#9400mcourteaux wants to merge 9 commits into
mcourteaux wants to merge 9 commits into
Commits
Commits on Aug 26, 2026
Commits on Aug 27, 2026
- andcommitted
- committed
- andcommitted
- andcommitted
- andcommitted