jellooo038
commented
11 months ago - Automation now uses the smaller Shorten hint database type for proof search
- Expand the definition for sup and inf provides more specific information
- Readded shortened version of 'Obtain according to' tactic.