Logic Seminar

Reflections on trusting Lean

Name: Reflections on trusting Lean
Start: 2025-10-23T11:00:00+02:00
End: 2025-10-23T12:00:00+02:00
Location: No location set

by Dr Lorenzo Bresolin (Università di Pisa)

Thursday 23 Oct 2025, 11:00 → 12:00 Europe/Rome

Saletta riunioni