Computing Pi decimal using Plouffe Formula in Coq
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Billion.v
Billion0.v
Billion1.v
Billion2.v
Billion3.v
Billion4.v
CPlouffe.v
LICENSE
Make
Million.v
Million0.v
Million1.v
Million2.v
Million3.v
Million4.v
Plouffe.v
README.md
configure.sh

README.md

Plouffe

Computing Pi decimal using Plouffe Formula in Coq

Install

Add the OPAM repository:

opam repo add coq-released https://coq.inria.fr/opam/released

and run:

opam install coq-plouffe