A formal description in Coq of computations of PI using arithmetic-geometric means
Primary LanguageCoqMIT LicenseMIT
No issues in this repository yet.