coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Freek Wiedijk <freek AT cs.ru.nl>
To: Gabriel Scherer <gabriel.scherer AT gmail.com>
Cc: Kevin Sullivan <sullivan.kevinj AT gmail.com>, "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Sum of all nats = 1/12
Date: Tue, 4 Feb 2014 11:10:19 +0100

Gabriel:

>What do you want?

A formalization of Ramanujan summation :-) (Whatever that is...)

Freek

[Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/03/2014
- Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/03/2014
  - Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/03/2014
    - Re: [Coq-Club] Sum of all nats = 1/12, Marco Servetto, 02/04/2014
- Re: [Coq-Club] Sum of all nats = 1/12, Gabriel Scherer, 02/04/2014
  - Re: [Coq-Club] Sum of all nats = 1/12, Freek Wiedijk, 02/04/2014
    - Re: [Coq-Club] Sum of all nats = 1/12, Kevin Sullivan, 02/04/2014
    - Re: [Coq-Club] Sum of all nats = 1/12, Frédéric Chyzak, 02/04/2014