Sidebar

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

Program

2022-05-16