BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:David Renshaw
DTSTART:20250114T183000Z
DTEND:20250114T190000Z
DTSTAMP:20260729T210310Z
UID:LeanTogether2025/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LeanTogether
 2025/8/">Searching for Proof Improvements with tryAtEachStep</a>\nby David
  Renshaw as part of Lean Together 2025\n\n\nAbstract\nI will present tryAt
 EachStep\, a tool that walks through Lean source code and runs a given tac
 tic on every proof step. I will discuss how it is implemented\, a variety 
 of different ways it might be used\, and some results from running it on M
 athlib.\n
LOCATION:https://researchseminars.org/talk/LeanTogether2025/8/
END:VEVENT
END:VCALENDAR