Skip to content

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

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

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

Name a select inside an index too

da02d71
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar