GitHub repository: thery/Plouffe
Primary language: Coq
Created: 2015-01-12T15:03:38Z
Description: Computing Pi decimal using Plouffe Formula in Coq