Fall 23 project: Complex analysis

Stream: Rutgers Lean seminar

[Vláďa Sedláček]

A thread for formalizing complex analysis that is not already in Mathlib: https://github.com/leanprover-community/mathlib4/tree/master/Mathlib/Analysis/Complex.

[Ian Jauslin]

Anyways, after posting to the wrong place, here is Vincent Beffara's project: https://github.com/vbeffara/RMT4

[Alex Kontorovich]

Recording here the blackboard discussion...
IMG_2761.HEIC
Ian, will you please make a clone and send us github permissions? Thanks!

[Vincent Beffara]

That was a fun discussion, thanks for inviting me! Here is another relevant link http://vbeffara.perso.math.cnrs.fr/RMT4/RMT4.html