AI, Data Science & Cloud Certificates from Google, IBM & Meta — 40% Off
One plan covers every Professional Certificate on Coursera. 40% off Coursera Plus Annual.
Unlock All Certificates
Explore complex analysis through the lens of the Lean theorem prover in this 49-minute conference talk by Vincent Beffara. Recorded during the "LEAN pour mathématiciens" thematic meeting at the Centre International de Rencontres Mathématiques in Marseille, France, delve into the intersection of formal mathematics and complex analysis. Gain insights into how Lean can be applied to this fundamental area of mathematics. Access this video and other talks by renowned mathematicians through CIRM's Audiovisual Mathematics Library, featuring chapter markers, keywords, enriched content with abstracts and bibliographies, and a multi-criteria search function for easy navigation and exploration of mathematical topics.
