Mario Carneiro: System Introductions I - Lean
Offered By: Hausdorff Center for Mathematics via YouTube
Course Description
Overview
Explore the fundamentals of the Lean theorem prover in this 27-minute lecture by Mario Carneiro, presented at the Hausdorff Center for Mathematics. Gain insights into the core concepts and functionalities of Lean, a powerful tool for formal mathematics and proof verification. Discover how Lean can be applied to various mathematical problems and learn about its syntax, logic, and capabilities. Whether you're a mathematician, computer scientist, or enthusiast in formal methods, this talk provides a valuable introduction to the Lean system and its potential applications in mathematical research and education.
Syllabus
Mario Carneiro: System Introductions I - Lean
Taught by
Hausdorff Center for Mathematics
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera