Skip to content

Allow the simplifier to use facts in its can_prove() predicates. - #9400

Open
mcourteaux wants to merge 9 commits into
mainfrom
mcourteaux/can-prove-facts
Open

Allow the simplifier to use facts in its can_prove() predicates.#9400
mcourteaux wants to merge 9 commits into
mainfrom
mcourteaux/can-prove-facts

Use a direct fact lookup at the can_prove depth cap, not a tree walk

032f724
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar