Home
Titles and abstracts
Schedule
Practical information
Registration
Contributed talks
Atelier Lean
May 2-3
|
Atelier
We warmly thank
for the scientific organization of the Atelier Lean.
Program
(for more info visit https://github.com/adomani/Atelier_Lean_2023)
Tuesday, May 2nd
| Time | Speaker | Title |
|---|
| 9:30-10:15 | Riccardo Brasca | What does it mean to formalise and why do it |
| 10:20-11:05 | Filippo Nuccio | Formalising Math 1 |
| 11:05-11:35 | Coffee break |
| 11:30-12:15 | Damiano Testa | Generalizations, automatizations, library_search, simp, tactics |
| 12:30-13:15 | Filippo Nuccio | Formalising Math 2 |
Lunch
| 15:00-19:00 | Hacking Session |
Wednesday, May 3rd
| Time | Speaker | Title |
|---|
| 9:30-10:15 | Damiano Testa | Overview of Type Theory |
| 10:20-11:05 | Filippo Nuccio | Formalising some basic Number Theory 1 |
| 11:05-11:35 | Coffee break |
| 11:30-12:15 | Riccardo Brasca | Lean Type Theory |
| 12:15-13:00 | Filippo Nuccio | Formalising some basic Number Theory 2 |
Lunch
| 15:00-19:00 | Hacking Session |
|
|
|
| |
