BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Kim Morrison (Lean Focused Research Organization)
DTSTART:20260123T130000Z
DTEND:20260123T133000Z
DTSTAMP:20260420T025334Z
UID:LT2026/38
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/38/">
 grind</a>\nby Kim Morrison (Lean Focused Research Organization) as part of
  Lean Together 2026\n\n\nAbstract\nI'll give a quick introduction to Lean'
 s powerful new automation `grind`\, touching on library design\, theorem s
 earch\, diagnostics\, and custom grind tactics.\n
LOCATION:https://researchseminars.org/talk/LT2026/38/
END:VEVENT
END:VCALENDAR