GitHub repository: ybertot/pi-agm
Primary language: Coq
Created: 2017-02-17T08:27:41Z
Description: A formal description in Coq of computations of PI using arithmetic-geometric means