Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Engage in an impromptu discussion about the Hausdorff-Borel theorem (HB) in Lean with mathematician Mario Carneiro. Delve into the intricacies of formalizing this important mathematical concept within the Lean theorem prover, exploring its implementation, challenges, and implications for automated reasoning in mathematics. This 54-minute talk, presented at the Hausdorff Center for Mathematics, offers valuable insights for those interested in formal verification, theorem proving, and the intersection of mathematics and computer science.
