BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Jovan Gerbscheid (University of Cambridge)
DTSTART:20260121T170000Z
DTEND:20260121T173000Z
DTSTAMP:20260420T025646Z
UID:LT2026/23
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/23/">
 Writing proofs by clicking</a>\nby Jovan Gerbscheid (University of Cambrid
 ge) as part of Lean Together 2026\n\n\nAbstract\nIn this talk I will prese
 nt a prototype system that allows you to construct a Lean proof without ty
 ping any tactics or lemmas\, by simply clicking in the infoview. This buil
 ds upon my work on the `rw??` tactic that is in mathlib. This kind of tool
  is very useful for writing proofs\, especially to beginners\, and it woul
 d also make a great addition to the natural number game.\n\nYou can try `#
 infoview_search` yourself. It can be found at https://github.com/JovanGerb
 /infoview_search\n
LOCATION:https://researchseminars.org/talk/LT2026/23/
END:VEVENT
END:VCALENDAR