BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Markus Himmel\, Sofia Rodrigues
DTSTART:20260121T160000Z
DTEND:20260121T163000Z
DTSTAMP:20260420T024851Z
UID:LT2026/21
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/LT2026/21/">
 What's new in the Lean standard library</a>\nby Markus Himmel\, Sofia Rodr
 igues as part of Lean Together 2026\n\n\nAbstract\nThe Lean standard libra
 ry contains the basic concepts that underpin all Lean formalization and pr
 ogramming projects\, like logical connectives and natural numbers. It also
  contains fundamental building blocks for writing real-world software in L
 ean\, like high-quality implementations of data structures and primitives 
 for parallel programming. In 2025\, the Lean standard library team added m
 any new features that are essential for building production-ready software
  in Lean. We will go over the new features and show how they make Lean an 
 even more powerful tool for writing general-purpose (verified) software an
 d\, of course\, metaprograms.\n
LOCATION:https://researchseminars.org/talk/LT2026/21/
END:VEVENT
END:VCALENDAR