Registered
by
Larry D. Lee jr.
A collection of proofs from "An Introduction to Complex Analysis and Geometry" in Coq.
This is a personal project in which I've been working through "An Introduction to Complex Analysis and Geometry" and implementing the proofs and theorems listed therein using Coq.
View full history Series and milestones
trunk series is the current focus of development.
