Complex Analysis in Lean

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.

Vincent Beffara: complex analysis in Lean