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.
An Isabelle/HOL proof of the fact that the area of a circle is R²·π
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.
An Isabelle/HOL proof of the fact that the area of a circle is R²·π
BSD 3-Clause "New" or "Revised" License