An Introduction to the Lean 4 theorem prover and programming languageDate: May 24, 2022Lean 4 Tutorial given together with Leonardo de Moura.Slides Previous Next
