YoVDO

Mario Carneiro: System Introductions I - Lean

Offered By: Hausdorff Center for Mathematics via YouTube

Tags

Mathematical logic Courses Formal Methods Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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

Introduction to Logic
Stanford University via Coursera
Logic: Language and Information 1
University of Melbourne via Coursera
Logic: Language and Information 2
University of Melbourne via Coursera
Information Service Engineering
openHPI
Language, Proof and Logic
Stanford University via edX