coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Can you name the biggest number?

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: roux cody <cody.roux AT gmail.com>
Cc: coq-club AT inria.fr
Subject: Re: [Coq-Club] Can you name the biggest number?
Date: Mon, 02 Dec 2019 14:33:46 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:YgYj0xzz+ebvcfXXCy+O+j09IxM/srCxBDY+r6Qd1O8TIJqq85mqBkHD//Il1AaPAdyArasb1qGL7+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglVijexe65+IRe2oAnetsQbjpZpJ7osxBfOvnZGYfldy3lyJVKUkRb858Ow84Bm/i9Npf8v9NNOXLvjcaggQrNWEDopM2Yu5M32rhbDVheA5mEdUmoNjBVFBRXO4QzgUZfwtiv6sfd92DWfMMbrQ704RSiu4qF2QxLzliwJKyA2/33WisxojaJUvhShpwBkw4XJZI2ZLedycr/Bcd8fQ2dKQ8RfWDFbAo6kb4UBEfcPPeFWr4fzpVQArhWxCgawC+701j9EmmX70bEm3+k7EwzL2hErEdIUsHTTqdX4LKgcUeW0zKnMzDXDaOtZ1zPj54jTaAghuumDU7NqfsrVzUkgCQzFjlKIpoH5JTOV1/4Cs3OG5OdnS+2ikGEmpgJtrjS1wccskIbJi5sTx1vZ9it52J44KcC7RUN4e9KoDoVcuiCAO4drQM4uXntktDs0x7EYoZK2fzUGxI46yxPbZPGLaZaE7xD5WOqMITp1h3Roc6+liRmo60iv0Oj8W9G00FlUqipFlcHBt38O2hDP8MSHTeF9/ki51TaO0QDc9P1ELFgpmafYKJMt2KA8moQSvEjZAyP7mlj6gLWLekgq5OSk8+Hnba/npp+YOY90kAb+MqE2l8OhGuk5PQsDU3SB9eS7zr3j8lX1QK9Wgf0ujqnZrJfaKNwHqa6+Gg9Zy5os6xKiDzi9y9kYhnkGLFddeB2dlYTpOlfOIOr5DfilmVisni1rlLj6Oej7BYjdZnPEnKapKb16518a0g0u3fhQ4ptVDvcKJ/elCWHrs9mNIxo4Nw2z9MTqE0dm4awXXWaCDaiuGbnTuETAsu8HM7nUIogPt2CueLAe+/fygCphyhcmdq6z0M5SMSjgR6U0EwCieXPpx+w5PyIPtws6QvbtjQzQQW4LIXGoUPBlv21pOMedFY7GA7uVrvmZxi7qTI0GPiZBEF/eSS61JbXBYO8FbWepGuEkkjEAUunzW995kxa0u12jxg==
Organization: X80 Heavy Industries

roux cody
<cody.roux AT gmail.com>
writes:

> Someone else just pointed this out to me! As I was saying, I'd be happy to
> declare this the winning entry, as long as it was formalized in Coq and
> proven to be larger than current contender :).

I'm not an expert on large numbers but I'd be surprised if you cannot do
better as soon as you lift the 512-character limit.

E.

[Coq-Club] Can you name the biggest number?, roux cody, 12/01/2019
- Re: [Coq-Club] Can you name the biggest number?, Emilio Jesús Gallego Arias, 12/02/2019
  - Re: [Coq-Club] Can you name the biggest number?, roux cody, 12/02/2019
    - Re: [Coq-Club] Can you name the biggest number?, Emilio Jesús Gallego Arias, 12/02/2019
    - Re: [Coq-Club] Can you name the biggest number?, Thorsten Altenkirch, 12/02/2019