A Formal Proof of Cauchy's Residue Theorem.

Wenda Li, Lawrence C. Paulson

Browse the full ITP paper archive.