Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Mario Carneiro: System Introductions I - Lean

Hausdorff Center for Mathematics via YouTube

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

Reviews

Start your review of Mario Carneiro: System Introductions I - Lean

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.