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