Interactive Theorem Proving with LeanDate: January 30, 2025Guest lecture at the University of Regensburg introducing Lean.Slides Previous Next
