Andrew Reynolds 00e19fdbe2 Minor improvements to difficulty manager (#9510) ...

We now track difficulty on lemmas themselves, which can potentially used as a heuristic for measuring the usefulness of lemmas.

This also makes it so that all literals in lemmas are used for incrementing difficulty.

2023-03-08 21:36:44 +00:00

122 KiB

Raw Permalink Blame History

View Raw