circlearea
An Isabelle/HOL proof of the fact that the area of a circle is R²·π
Needs the HOL-Probability image and some theories from https://github.com/avigad/isabelle/tree/master/Analysis.
pruvisto/circlearea
An Isabelle/HOL proof of the fact that the area of a circle is R²·π
IsabelleBSD-3-Clause