BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Eloi Torrent Juste
DTSTART:20210602T100000Z
DTEND:20210602T110000Z
DTSTAMP:20260423T021649Z
UID:SIMBa/12
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/SIMBa/12/">A
 n introduction to theorem provers</a>\nby Eloi Torrent Juste as part of Ba
 rcelona Mathematics Informal Seminar (SIMBa)\n\n\nAbstract\nIn  this  talk
 \,  we  will  introduce  proof  assistants\,  pieces  of  softwarethat  fo
 rmally  verify  mathematical  proofs.Lean  has  a  very  extensivedatabase
   with  mathematical  results  at  the  undergraduate  level  for-mally  v
 erified\,  and  it  is  even  used  to  verify  new  research.   This  has
 several applications\, including teaching\, automatically verifying publi-
 cations\, and even automated theorem proving.  At the end of this talk\,we
  will carry out a demo of Lean to show the basics and how you canget start
 ed.\n
LOCATION:https://researchseminars.org/talk/SIMBa/12/
END:VEVENT
END:VCALENDAR