A Crash Course About Formalizing Mathematics In Lean-3

The aim of this series of lectures is to give a brief introduction to formalization of mathematics in LEAN-3 , a proof assistant which has recently proven to be particular well-suited for encoding modern mathematics.

Speaker: Filippo A. E. Nuccio Mortarino Majno Di Capriglio

Location: Vilnius University, Faculty of Mathematics and Informatics, Naugarduko str. 24, Vilnius

Dates:

May 23^rd, 3.00–5.00 PM, room 103

May 24^th, 3.00–5.00 PM, room 312

May 25^th, 3.00–5.00 PM, room 312

May 26^th, 3.00–5.00 PM, room 312

Program

2022-05-16