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 23rd, 3.00–5.00 PM, room 103
May 24th, 3.00–5.00 PM, room 312
May 25th, 3.00–5.00 PM, room 312
May 26th, 3.00–5.00 PM, room 312
2022-05-16