coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Pi day

From: Laurent Théry <Laurent.Thery AT inria.fr>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Pi day
Date: Fri, 14 Mar 2014 09:11:25 +0100

Hello,

Today is Pi day, so if you want to play with Pi in Coq, here is a fun contribution:

http://www-sop.inria.fr/marelle/Plouffe/

it provides a certified program that computes its digits using Plouffe formula.

--
Laurence Rideau & Laurent Théry

[Coq-Club] Pi day, Laurent Théry, 03/14/2014